1. Struchkov I., Itsykson V. A formal approach to description of cyclic real-time parallel computational processes and software systems // Information and Control Systems. 2006. № 2. C. 8-13.