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