www.prismmodelchecker.org
[GK03] S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition. In Proc. 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), volume 2788 of LNCS, pages 179-192, Springer-Verlag. September 2003. http://www.dcs.ed.ac.uk/home/stg/
Notes: The original publication is available at www.springerlink.com.

Publications