STRUCHKOV, I.; ITSYKSON, V. A formal approach to description of cyclic real-time parallel computational processes and software systems. Information and Control Systems, n. 2, p. 8-13, 20 abr. 2006.