Incki, K., Ari, I. & Sozer, H. (2017) Runtime Verification of loT Systems using Complex Event Processing. PROCEEDINGS OF THE 2017 IEEE 14TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2017).