@ARTICLE{Bozga00a,
  author = {Bozga, M. and Fernandez, J.-C. and Ghirvu, L. and Jard, C. and Jé{ron},
	T. and Kerbrat, A. and Morel, P. and Mounier, L.},
  title = {Verification and test generation for the {SSCOP} protocol},
  journal = {Journal of Science of Computer Programming, Special Issue on The
	Application of Formal Methods in Industrial Critical Systems},
  year = {2000},
  volume = {36},
  pages = {27-52},
  publisher = {Elsevier}
}