Timed SEFM:programming model for embedded real-time control systems
LIU Jie, CHEN Xianglan, LI Xiaofei, LI Xi
Computer Engineering and Applications . 2016, (10): 19 -26 .