Automating software feature verification. (2000)

by Gerard J Holzmann, Margaret H Smith
Venue:Bell Labs Technical Journal,