%O Generic 
%F sacres-I2B
%A Consortium, Sacres
%T Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems
%B Esprit project EP 20897: Sacres
%8 April
%D 1997