%0 Book
%A  Tom Anderson
%T Directions in safety-critical systems : 
%U /book/90112749/Directions-in-safetycritical-systems/