Шкарупило, В., Блінов, І., Кучанський, В., Давидюк, А. and Дімітрієва, Д. (2023) “Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення: монографія”, Publishing house «UKRLOGOS Group», p. 120. doi: 10.36074/mzkapppasskp-monograph.2023.