Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.

Xiaoqun Du Kevin T. McDonnell Evangelos Nanos Y. S. Ramakrishna Scott A. Smolka Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. 185-198 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#DuMNRS97 http://dx.doi.org/10.1007/BFb0000471