www.prismmodelchecker.org
[AH99] R. Alur and T. Henzinger. Reactive Modules. Formal Methods in System Design, 15(1), pages 7-48. 1999. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications