@article{BFG+00,
title = {Verification and test generation for the SSCOP protocol },
author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian and Jard, Claude and J\'eron, Thierry and Kerbrat, Alain and Morel, Pierre and Mounier, Laurent},
year = {2000},
address = {Amsterdam, The Netherlands, The Netherlands},
journal = {Sci. Comput. Program},
number = {1},
pages = {27--52},
publisher = {Elsevier North-Holland, Inc},
volume = {36},
team = {DCS,PACSS},
}