Resource constraints analysis of workflow specifications - Li, H; Yang, Y; Chen, TY (The Journal of Systems and Software, 2003)