Modelling concurrent workflow with the extended interval temporal logic
LEI Li-hui;DUAN Zhen-hua
J4 . 2007, (4): 673 -680 .