Alpeev, A. Верифікація та валідація програмованих керуючих систем АЕС. Ядерна та радіаційна безпека, no 3(47), Sept. 2010, pp 22-24, doi:10.32918/nrs.2010.3(47).05.