Temporal extension of workflow meta-model and its application | IEEE Conference Publication | IEEE Xplore