Ignat’ev, M., and T. Katermina. “The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time. Part 2”. SPIIRAS Proceedings, Vol. 2, no. 33, June 2014, pp. 60-78, DOI:10.15622/sp.33.4.