Safety-Critical Systems: Problems, Process and Practice - Safety-Critical Systems Symposium; Anderson, Tom; Dale, Chris (Springer London, 2009)