LIBRARY Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004 2004 · ENGLISH · PDF View details →