Safer systems - Redmill, Felix; Anderson, Thomas; Safety-Critical Systems Symposium (5th : 1997 : Brighton) (London : Springer-Verlag, 1997)
22