Ignatyev, M., and T. Katermina. “The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time”. SPIIRAS Proceedings, Vol. 3, no. 26, June 2013, pp. 234-52, DOI:10.15622/sp.26.17.