@Inproceedings{EPTCS133.7,
  author    = {Mignogna, Alessandro and Mangeruca, Leonardo and Boyer, Beno\^it and Legay, Axel and Arnold, Alexandre},
  year      = {2013},
  title     = {SoS contract verification using statistical model checking},
  editor    = {Larsen, Kim G. and Legay, Axel and Nyman, Ulrik},
  booktitle = {{\rm Proceedings 1st Workshop on}
               Advances in Systems of Systems,
               {\rm Rome, Italy, 16th March 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {133},
  publisher = {Open Publishing Association},
  pages     = {67-83},
  doi       = {10.4204/EPTCS.133.7},
}