Springer Handbook of Automation