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