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