Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen. A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng., 22(6):378-389, 1996. [doi]
Abstract is missing.