Modeling and verification method of operational task model including temporal constraints
YU Wenshu, ZHOU Yong, YAN Xuefeng
Computer Engineering and Applications . 2016, (11): 238 -242 .