[LSO12] Michael Lipaczewski, Simon Struck and Frank Ortmeier. Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. In Proc. 14th International IEEE Symposium on High-Assurance Systems Engineering (HASE'12), pages 159-166. 2012. [Presents tool support for the safety analysis modelling language (SAML), which connects to PRISM for probabilistic verification.]
Links: [Google] [Google Scholar]