Making Systems Safer : Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 - Chris Dale, Tom Anderson (Springer)