IGNATYEV, M.; KATERMINA, T. The redundant variables method for checking and correction of computing processes in real time. SPIIRAS Proceedings, v. 3, n. 26, p. 234-252, 1 jun. 2013.