BS ISO 20534. Industrial automation systems and integration. Formal semantic models for the configuration of global production networks