Ignatyev, Mikhail, and Tatiana Katermina. “The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time”. SPIIRAS Proceedings 3, no. 26 (June 1, 2013): 234-252. Accessed May 20, 2024. http://www.proceedings.spiiras.nw.ru/index.php/sp/article/view/1704.