@article{9b8b30a3d15847ec91c5de5c810e71f5,
title = "MITL specification debugging for monitoring of cyber-physical systems",
author = "Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos",
note = "Funding Information: This research was partially funded by NSF awards CNS 1350420, CNS 1319560, IIP-1361926 and the NSF I/UCRC Center for Embedded Systems.; 1st Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS 2016 ; Conference date: 04-06-2016 Through 05-06-2016",
year = "2016",
month = dec,
day = "13",
doi = "10.4204/eptcs.232.4",
language = "English (US)",
volume = "232",
pages = "10--13",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",
}