%0 Journal Article 
%F rrc99
%A Roux, O
%A Rusu, V.
%A Cassez, F.
%T Hybrid verifications of reactive programs
%J Formal Aspects of Computing
%V 11
%N 4
%P 448-471
%D 1999