www.prismmodelchecker.org
[HBGS07] F. He, L. Baresi, C. Ghezzi and P. Spoletini. Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. In Proc. Formal Techniques for Networked and Distributed Systems (FORTE'07), volume 4574 of Lecture Notes in Computer Science, pages 247-262, Springer. 2007. [bib] http://www.springerlink.com/content/h0438p764643727u/
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications