@article{dokhanchi2016mitl,
  title = {MITL specification debugging for monitoring of cyber-physical systems},
  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},
  journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
  volume = {232},
  pages = {10--13},
  year = {2016},
  publisher = {Open Publishing Association},
  url = {http://www.bhoxha.com/papers/MTCPS16_2.pdf},
  keywords = {Testing, Falsification, and Specification}
}