L. Jagadeesan, C. Puchol, A. Porter, J. C. Ramming, and L. Votta.Specification-Based Testing of Reactive Software: Tools and Experiments . In the Proceedings of the 19th International Conference on Software Engineering. 1997. Boston, MA. L. Jagadeesan, A. Porter, C. Puchol, J. C. Ramming, and L. Votta, Specification-Based Testing of Reactive Software: A Case Study in Technology Transfer, Journal of Software and Systems, March, 1998.