Nesterenko, B. B., and M. O. Novatorskyi. “FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS”. Science and Transport Progress, no. 17, Aug. 2007, pp. 156-61, doi:10.15802/stp2007/17608.