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