M. Ignatyev and T. Katermina, “The redundant variables method for checking and correction of computing processes in real time”, SP, vol. 3, no. 26, pp. 234-252, Jun. 2013.