%0 Journal Article 
%F rusu03a
%A Rusu, V.
%T Combining formal verification and conformance testing for validating reactive systems
%J Journal of Software Testing, Verification, and Reliability
%V 13
%N 3
%8 September
%D 2003