School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing, China;
Complex; Event; Processing; (CEP); Real-Time; Locating; System; (RTLS); Radio; Frequency; Identification; (RFID); Timed; Automata; (TA); Event-Clock; Automata; (ECA);