@inproceedings{PS-MOS-18,
  author = {P. {De Saqui-Sannes} and R. {VINGERHOEDS} and L. {Apvrille}},
  title = {Early Checking of SysML Models Applied to Protocols},
  booktitle = {12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018)},
  address = {Toulouse, France},
  year = 2018,
  month = jun,
  keywords = {Modeling, SysML, Simulation, Formal verification, TTool, Protocol},
  annote = {category=inproceedings language=en audience=2 state=toappear dept=comelec group=easi,labsoc documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=17983 id=17983}
}