Devyanin P. N., Leonova M. A., Devyanin P. N., Leonova M. A. «The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB» // Applied Discrete Mathematics 2021. №52 C.83-96
Leonova Maria A., Devyanin Petr N., Leonova Maria A., Devyanin Petr N. «Comparison of methods for modeling access control in os and dbms in Event-B for the purpose of their verification with Rodin and ProB tools» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99
Leonova M.A., Devyanin P.N. «About methods of developing consistent description of the mrosl dp-model for os and dbms for its verification with Rodin and ProB TOOLS» // Applied Discrete Mathematics. Supplement 2021. №14 C.126-132
