Struchkov, I. and Itsykson, V. (2006) “A formal approach to description of cyclic real-time parallel computational processes and software systems”, Information and Control Systems, (2), pp. 8-13. Available at: https://i-us.ru/index.php/ius/article/view/14615 (Accessed: 4April2025).