Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming. Specification-based testing of reactive software: A case study in technology transfer. Journal of Systems and Software, 40(3):249-262, 1998. [doi]
Abstract is missing.