Assuring the Safety of Systems: Proceedings of the Twenty-first Safety-critical Systems Symposium, Bristol, UK, 5-7th February 2013 - heftet, Engelsk, 2012