A Temporal Logic Based Grid Workflow Model and Scheduling Scheme. - Yu-E Zheng; Huadong Ma; Lejun Zhang (GCC, 2007)