Nesterenko, B. B.; Novatorskyi, M. O. FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS. STP 2007, 156-161.