Ignatyev, M. and Katermina, T. 2013. The redundant variables method for checking and correction of computing processes in real time. SPIIRAS Proceedings. 3, 26 (Jun. 2013), 234-252. DOI:https://doi.org/10.15622/sp.26.17.