347	  Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena  (2011) Patterns for Representing FMEA in Formal Specification of Control Systems.  In: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL, November 10-12, 2011, Boca Raton, USA.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>