%0 Conference Proceedings
%F Benveniste1998c
%A Benveniste, A.
%A Siegel, M.
%A Holenderski, L.
%A Winkelmann, Klaus
%A Sefton, E.
%A Rutten, E.
%A Le Guernic, Paul
%A Gautier, Thierry
%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
%8 September
%D 1998
%K synchrony