%0 Conference Proceedings %B International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024 %C Brunów, Poland %D 2024 %T Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures %8 1-5 July