Ignatyev M, Katermina T. The redundant variables method for checking and correction of computing processes in real time. SP [Internet]. 1Jun.2013 [cited 12Nov.2026];3(26):234-52. Available from: https://ia.spcras.ru/index.php/sp/article/view/1704