Research of temporal workflow process and resource modeling | IEEE Conference Publication | IEEE Xplore