www.prismmodelchecker.org
[DT98] C. Daws and S. Tripakis. Model-checking of real-time reachability properties using abstractions. In Proc. Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), volume 1384 of LNCS, pages 313-329, Springer. 1998. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.

Publications