www.prismmodelchecker.org
[GF06] J. Greifeneder and G. Frey. Dependability analysis of networked automation systems by probabilistic delay time analysis. In Proc. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), pages 269-274. May 2006. [bib] http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications