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