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. Science of Computer Programming, 36(1):27-52, 2000.
Abstract is missing.