%0 Journal Article 
%F ieee-tse
%A Constant, C.
%A Jéron, T.
%A Marchand, H.
%A Rusu, V.
%T Integrating formal verification and conformance testing for reactive systems
%J IEEE Transactions on Software Engineering
%V 	 33
%N 8
%P 558-574
%U http://www.irisa.fr/vertecs/Publis/Ps/2007-IEEE-TSE.pdf
%U http://dx.doi.org/10.1109/TSE.2007.70707
%8 August
%D 2007