Modeling and verifying EPC network intrusion system based on timed automata. - Yan Sun 004; Tin-Yu Wu; Xiaoqiong Ma; Han-Chieh Chao (Pervasive Mob. Comput., 2015)