author = { D’Souza, Deepak AND Mukund, Madhavan },

title = { Model Checking Software: Checking Consistency of SDL+MSC Specifications },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

year = {2003},

url = { http://slubdd.de/katalog?TN_libero_mab2 }