Nikiforov, V., and V. Shkirtil. “Itinarary Nets — the Graphical Formalism for Presentation of Real-Time Sofware Application Strucrures”. SPIIRAS Proceedings, Vol. 3, no. 14, Sept. 2010, pp. 7-28, DOI:10.15622/sp.14.1.