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