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