Media type: E-Article Title: Guest Editorial: Special Issue on Model Checking in Requirements Engineering Contributor: Easterbrook, Steve; Chechik, Marsha imprint: Springer Science and Business Media LLC, 2002 Published in: Requirements Engineering Language: Not determined DOI: 10.1007/s007660200017 ISSN: 0947-3602 Origination: Footnote: