Vyacheslav Kharchenko, Yuriy Ponochovnyi, Sergiy Dotsenko, Oleg Illiashenko, Oleksandr Ivasiuk" Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures."International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024 (2024):