Industrial perspectives of safety-critical systems: proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998 - Redmill, Felix; Anderson, Tom (Springer, 1998)