www.prismmodelchecker.org
[Dil89] D. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis (editor), Proc. Automatic Verification Methods for Finite State Systems, volume 407 of LNCS, pages 197--212, Springer. 1990. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.

Publications