Шкарупило, Вадим, and Ігор Блінов. 2021. “Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення: монографія”. Publishing House «UKRLOGOS Group», December, 104. https://doi.org/10.36074/smtzfvappskp-monograph.2021.