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