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