@STRING{formats = {International Conference on Formal Modelling and Analysis of Timed Systems} }
@InProceedings{MSGD:2017,
  author    = {Rehab Massoud and Jannis Stoppe and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction},
  booktitle = formats,
  year      = {2017},
  pages     = {335--351}
}