Process automation handbook a guide to theory and practice (Springer, 2007)