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