Yan Zhang 0007 Jin Shi Tian Zhang 0001 Xiangwei Liu Zhuzhong Qian Modeling and checking for Cyber-Physical System based on hybrid interface automata. 179-193 2015 24 Pervasive Mob. Comput. https://doi.org/10.1016/j.pmcj.2015.07.008 db/journals/percom/percom24.html#ZhangSZLQ15