www.prismmodelchecker.org
[CS14b] Muffy Calder and Michele Sevegnani. Do I need to fix a failed component now, or can I wait until tomorrow?. In Proc. 10th European Dependable Computing Conference (EDCC'14), pages 70-81, IEEE. 2014. [Proposes methods for operational decision making in complex systems using predictive event-based modelling, probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications