Marius Bozga Jean-Claude Fernandez Lucian Ghirvu Claude Jard Thierry Jéron Alain Kerbrat Pierre Morel Laurent Mounier Verification and test generation for the SSCOP protocol. 27-52 2000 36 Sci. Comput. Program. 1 db/journals/scp/scp36.html#BozgaFGJJKMM00