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