(1)
Alpeev, A. Верифікація та валідація програмованих керуючих систем АЕС. NRS 2010, 22-24.