BS EN IEC 62657-3. Industrial communication networks. Wireless communication networks - Part 3. Formal description of the automated coexistence management and application guidance