www.prismmodelchecker.org
[TMR15] Pedro J. Rivera-Torres, E.I. Serrano Mercado and Anido L. Rifon. Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems. Journal of Intelligent Manufacturing, pages 1-21, Springer. 2015. [Uses probabilistic Boolean networks and PRISM to analyse automated manufacturing assembly processes.]
Notes: The original publication is available at www.springerlink.com.

Publications