microcontrollerVerification of applied programs generation and loading for safety systems of nuclear power plants based on a reverse-engineering method 6/22/2018 2018 - #02 Modelling processes at nuclear facilities Belonosov M.A. Kishkin V.L. Korolev S.A.