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