@inproceedings{deploy406,
       booktitle = {NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011))},
           title = {Deriving Mode Logic for Fault-Tolerant Control Systems},
          author = {Yuliya Prokhorova and Elena Troubitsyna and Linas Laibinis and Kimmo Varpaaniemi and Timo Latvala},
            year = {2011},
           pages = {309--322},
             url = {http://deploy-eprints.ecs.soton.ac.uk/406/}
}

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