@inproceedings{DG-DUHDEb-18,
  author = {D. {Genius} and M.-M. {Lou{\"e}rat} and F. {P{\^e}cheux} and L. {Apvrille} and H. {Stratigopoulos}},
  title = {Modeling Heterogeneous Embedded Systems with TTool},
  booktitle = {5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe'2018)},
  address = {Dresden, Germany},
  year = 2018,
  month = mar,
  keywords = {embedded systems, modeling, UML, SysML,Formal verification},
  annote = {category=inproceedings language=en audience=1 state=published dept=comelec group=easi,labsoc id=17444}
}