Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems. - Oleh Mashkov; Oleh Ilyin; Viktor Mashkov; Oleh Boskin; Oksana Ohnieva (ISDMCI, 2022)