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