P. Czeberkus and A. Timofeev, “Monitoring of State in Program Simulator of Electronic Device”, SI, vol. 8, no. 1, pp. 33–40, Jun. 2007.