Just-in-time scheduling models and algorithms for computer and manufacturing systems (Springer, 2007)