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