Formal Verification and Performance Evaluation of Task Scheduling Heuristics for Makespan Optimization and Workflow Distribution in Large-scale Computing Systems, International Journal of Computer Systems Science and Engineering, vol. 32, no. 3, pp. 227-241, 2017.