00428nas a2200133   4500000000100000008004100001260003000042100002600072700002200098700002000120700002100140700002200161245011100183       2024                            d  c1-5 JulyaBrunów, Poland1 aVyacheslav Kharchenko1 aYuriy Ponochovnyi1 aSergiy Dotsenko1 aOleg Illiashenko1 aOleksandr Ivasiuk00aModels of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures