Automated scheduling and planning : from theory to practice (2013)