Gerard J. Holzmann Software verification at Bell Labs: One line of development. 35-45 2000 5 Bell Labs Technical Journal 1 http://dx.doi.org/10.1002/bltj.2206 db/journals/bell/bell5.html#Holzmann00