Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo  (2011) Deriving Mode Logic for Fault-Tolerant Control Systems.  In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>