@misc{howard2011modelbasedtracechecking,
      title={Model-Based Trace-Checking}, 
      author={Y. Howard and S. Gruner and A. Gravell and C. Ferreira and J. C. Augusto},
      year={2011},
      eprint={1111.2825},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/1111.2825}, 
}