© ISO 2018Industrial automation systems and integration — Formal semantic models for the configuration of global...