Ignatyev, M.; Katermina, T. The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time. SP 2013, 3, 234-252.