B. Vintenko, O. Smirnov, O. Kovalenko, S. Smirnov, and A. Kovalenko, “Research of regulatory documents and industry standards for the development of safety-important computer systems for npp control systems”, Control, Navigation and Communication Systems. Academic Journal, vol. 2, no. 72, pp. 170-178, Jun. 2023.