Media type: E-Article Title: FME 2003: Formal Methods: Trends in Software Verification Contributor: Holzmann, Gerard J. imprint: Springer Berlin Heidelberg, 2003 Published in: FME 2003: Formal Methods Language: Not determined DOI: 10.1007/978-3-540-45236-2_4 ISSN: 0302-9743; 1611-3349 Origination: Footnote: