Modern Industrial Automation Software Design - Wang (IEEE, 2006)