За результатами виконання робіт 1-го етапу проекту за грантом НАН України дослідницьким лабораторіям/групам молодих вчених НАН України у 2021-2022 рр. – «Розроблення методів та засобів верифікації артефактів процесу проектування систем критичного призначення» (шифр: Артефакт) співробітниками Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України та Інституту електродинаміки НАН України було опубліковано колективну монографію:
Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення : монографія / В.В. Шкарупило, І. В. Блінов. — Вінниця : ГО «Європейська наукова платформа», 2021. – 104 с. ISBN 978-617-8037-55-0 DOI https://doi.org/10.36074/smtzfvappskp-monograph.2021, затверджену протоколом засідання Вченої ради № 16 від 25 листопада 2021 року.
Короткий зміст монографії:
https://ojs.ukrlogos.in.ua/index.php/monograph/article/view/smtzfvappskp-monograph.2021/15981