www.prismmodelchecker.org
[GF05] J. Greifeneder and G. Frey. Probabilistic Delay Time Analysis in Networked Automation Systems. In Proc. 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), pages 1065-1068. September 2005. [bib] http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications