Ignat’ev, M. and Katermina, T. 2014. The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time. Part 2. SPIIRAS Proceedings. 2, 33 (Jun. 2014), 60-78. DOI:https://doi.org/10.15622/sp.33.4.