Practical Automation Specification. - Wolfgang Mann (Handbook of Automation, 2009)