Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems. - Alevtina B. Glonina; Anatoly G. Bakhmurov (PaCT, 2017)

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks. - Alevtina B. Glonina; Vasily V. Balashov (Autom. Control. Comput. Sci., 2018)

Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution Times. - Mark G. Gonopolskiy; Alevtina B. Glonina (Autom. Control. Comput. Sci., 2021)