Handbook on scheduling from theory to applications (Springer, 2007)