A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.

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. 378-389 http://www.computer.org/tse/ts1996/e0378abs.htm 1996 22 IEEE Trans. Software Eng. 6 db/journals/tse/tse22.html#ArdisCJMPSO96