Media type: E-Article Title: Model Checking Software: Checking Consistency of SDL+MSC Specifications Contributor: D’Souza, Deepak; Mukund, Madhavan imprint: Springer Berlin Heidelberg, 2003 Published in: Model Checking Software Language: Not determined DOI: 10.1007/3-540-44829-2_10 ISSN: 0302-9743 Origination: Footnote: