Struchkov, Igor, and Vladimir Itsykson. 2006. “A Formal Approach to Description of Cyclic Real-Time Parallel Computational Processes and Software Systems”. Information and Control Systems, no. 2 (April), 8-13. https://i-us.ru/index.php/ius/article/view/14615.