Other success stories
There are a few other success stories, too (not all Z!)
- Ex: Garlan and Delisle. "Formal Specification of an Architecture for a Family of Instrumentation Systems" (1995)
- Aided Tektronix in unifying their understanding and development processes for a broad range of oscilloscopes, function generators, etc.
Clarke and Wing. Formal methods: state of the art and future directions. ACM Computing Surveys 28(4), 1996.
Craigen, Gerhart, Ralston. An International Survey of Industrial Applications of Formal Methods, Volumes I & II (Purpose, Approach, Analysis and Conclusions; Case Studies), NIST, 1993.