www.prismmodelchecker.org
[NSY92] X. Nicollin, J. Sifakis and S. Yovine. Compiling real-time specifications into extended automata. IEEE Transactions on Software Engineering, 18(9), pages 794-804. 1992. [bib]
Downloads:  bib bib

Publications