1. Ignatyev M., Katermina T. The redundant variables method for checking and correction of computing processes in real time // SPIIRAS Proceedings. 2013. № 26 (3). C. 234-252.