Product Models for Industrial Automation