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