Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode. - Yevgeniy Bulba; Yurij Ponochovny; Vladimir V. Sklyar; Aleksandr Ivasiuk (ICTERI, 2016)

Model of Information and Control Systems in Smart Buildings with Separate Maintenance by Reliability and Security. - Yuriy Ponochovnyi; Vyacheslav S. Kharchenko; Al-Sudani Mustafa Qahtan Abdulmunem; Aleksandr Ivasiuk; Oleg Ivanchenko (ICTERI Workshops, 2018)

Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. - Oleg Odarushchenko; Oleksiy Striuk; Viacheslav Shamanskyi; Oleksandr A. Letychevskyi; Aleksandr Ivasiuk; Elena Odarushchenko (DESSERT, 2023)