Industrial automation systems and Integration. Product data representation and exchange - Application protocol. Engineering properties for product design and verification