D. . Dahlhaus, “Towards Functional Safety in Dynamic Distributed Systems”, JMM, vol. 20, no. 01, pp. 157–180, Feb. 2024.