The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007 by Felix Redmill, Tom Anderson (Paperback, 2007)