B. B. Nesterenko and M. O. Novatorskyi, “FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS”, STP, no. 17, pp. 156–161, Aug. 2007.