ISO/DIS 20534 : 50.00 (2018) Industrial automation systems and integration - Formal semantic models for the configuration of global production networks