%0 Journal Article 
%F tCJ-RI16
%A Bozga, M.
%A Fernandez, JC
%A Ghirvu, L.
%A Jard, C.
%A Jeron, T. 	and Kerbrat,A.
%A Morel, P.
%A Mounier, L.
%T Verification and Test Generation for the SSCOP Protocol
%J Journal of Science of Computer Programming, Special Issue on The 	Application of Formal Methods in Industrial Critical Systems
%V 36
%P 27-52
%D 2000
%K Monitoring