Zelenskii, A. and Gribkov, A. 2025. Fundamentals of the formal theory of real-time systems. Information and Control Systems. 5 (Oct. 2025), 2-10. DOI:https://doi.org/10.31799/1684-8853-2025-5-2-10.