1. Nikiforov V., Shkirtil V. Itinarary nets — the graphical formalism for presentation of real-time sofware application strucrures // SPIIRAS Proceedings. 2010. № 14 (3). C. 7-28.