Automating software feature verification (2000)

by G J Holzmann, M H Smith
Venue:Bell Labs Techn. Journal