%0 Conference Proceedings
%F benveniste98c
%A Benveniste, A.
%A Siegel, M.
%A Holenderski, L.
%A Winkelmann, K.
%A Sefton, E.
%A Rutten, E.
%A Le Guernic, P.
%A Gautier, T.
%T Safety Critical Embedded Systems Design: the SACRES approach
%B Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school
%C Lyngby, Denmark
%U ftp://ftp.irisa.fr/local/signal/publis/articles/FTRTFT-98:gen_sem_format_verif_distr.ps.gz
%8 September
%D 1998