A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
Mark A. ArdisJohn A. ChavesLalita Jategaonkar JagadeesanPeter MatagaCarlos PucholMark G. StaskauskasJames Von OlnhausenPublished in: IEEE Trans. Software Eng. (1996)