%O BookSection 
%F book-chap-react-systems
%A Constant, C.
%A Jéron, T.
%A Marchand, H.
%A Rusu, V.
%T Validation of Reactive Systems
%B Modeling and Verification of Real-TIME Systems - Formalisms and software Tools
%E Merz, S.
%E Navet, N.

%P 51-76
%I Hermès Science
%8 January
%D 2008