Analysing scientific workflows with Computational Tree Logic. Journal of Cluster Computing - Curcin, V; Ghanem, M; Guo, Y (Journal of Cluster Computing: Special Issue of Recent Advances in e-Science, 2009)