Formal methods reality check: Industrial usage (1995)

by D Craigen, S Gerhart, T Ralston
Venue:IEEE Transactions Software Engineering