www.prismmodelchecker.org
[GCB+14] Felipe Pontes Guimaraes, Pedro Célestin, Daniel Macedo Batista, Genaína Nunes Rodrigues and Alba Cristina Magalhaes Alves de Melo. A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis. Journal of Grid Computing, 12(1), pages 127-151, Springer. 2014. [Proposes a framework for adaptive fault-tolerant execution of workflows in the grid, including dependability analysis with PRISM. ]
Notes: The original publication is available at www.springerlink.com.

Publications