Nesterenko, B. B., and M. O. Novatorskyi. “FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS”. Science and Transport Progress , no. 17 (August 25, 2007): 156–161. Accessed May 20, 2024. https://stp.ust.edu.ua/article/view/17608.