Nikiforov, V. and Shkirtil, V. 2010. Itinarary nets — the graphical formalism for presentation of real-time sofware application strucrures. SPIIRAS Proceedings. 3, 14 (Sep. 2010), 7-28. DOI:https://doi.org/10.15622/sp.14.1.