Model checking of safety properties (2001)

by O Kupferman, M Y Vardi
Venue:Formal Methods in System Design, 19:291 – 314