Kronos: Lightweight Knowledge-based Event Analysis in Cyber-Physical Data Streams | IEEE Conference Publication | IEEE Xplore