V. Nikiforov and V. Shkirtil, “Itinarary nets — the graphical formalism for presentation of real-time sofware application strucrures”, SP, vol. 3, no. 14, pp. 7-28, Sep. 2010.