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. 159-168 1995 ICSE http://doi.acm.org/10.1145/225014.225029 db/conf/icse/icse95.html#ArdisCJMPSO95