Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna. Patterns for Representing FMEA in Formal Specification of Control Systems. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 146-151, IEEE Computer Society, 2011. [doi]
Abstract is missing.