Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J

Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389