For citations:

Glonina A.B., Balashov V.V. On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks. Modeling and Analysis of Information Systems. 2018;25(2):174-192. (In Russ.) https://doi.org/10.18255/1818-1015-2018-2-174-192