@inproceedings{PDSS-AVIO-19,
  author = {P. {De Saqui-Sannes} and L. {Apvrille}},
  title = {Test Sequence Generation From Formally Verified SysML Models},
  booktitle = {1st Workshop on Avionics Systems and Software Engineering (AvioSE'2019)},
  address = {Stuttgartn Germany},
  year = 2019,
  month = feb,
  annote = {category=inproceedings language=en audience=1 state=published dept=comelec group=labsoc documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=18680 id=18680}
}