Automated configuration problem solving - Petrie, Charles J., author ([, Springer], 2012)