Yang Yu, Yong Tang, Na Tang, Xiao-ping Ye, Lu Liang: A Meta-model of Temporal Workflow and Its Formalization. GCC 2004: 987-992