Model checking complete requirements specifications using abstraction (1999)

by R Bharadwaj, C L Heitmeyer
Venue:Automated Software Engineering: An International Journal