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