A model for probabilistic monitoring and proactive restart of real-time operating systems under intensive state changes in cyber-physical systems. - Oleksandr Kozelskyi; Andriy Drozd; Bohdan Savenko; Piotr Gaj (ICyberPhyS, 2025)