Media type: E-Article Title: FM 2009: Formal Methods: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method Contributor: Shao, Danhua; Khurshid, Sarfraz; Perry, Dewayne E. imprint: Springer Berlin Heidelberg, 2009 Published in: FM 2009: Formal Methods Language: Not determined DOI: 10.1007/978-3-642-05089-3_48 ISSN: 0302-9743; 1611-3349 Origination: Footnote: