Directions in safety-critical systems : Proceedings of the first symposium : Konf. Bristol, 9.- 11. Feb. 1993 - Redmill, Felix; Anderson, Tom (Springer Verlag, 1993)