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 (Apr. 2006), 8-13.