@inproceedings{DG-MOD-17,
  author = {D. {Genius} and L. W. {Li} and L. {Apvrille}},
  title = {Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design},
  booktitle = {5th International Conference on Model-Driven Engineering and Software Development (Modelsward)},
  address = {Porto, Portugal},
  year = 2017,
  month = feb,
  keywords = {Virtual prototyping, Embedded systems, System-level design, Formal verification},
  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=16674 id=16674}
}