www.prismmodelchecker.org
[GF07a] J. Greifeneder and J. Frey. Probabilistic Timed Automata for Modeling Networked Automation Systems. In Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), pages 143-148. June 2007. [bib] http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications