1. Rollback and recovery strategies for computer programs;Chandy;IEEE Transactions on Computers,1972
2. CATCH - compiler-assisted techniques for checkpointing;Fuchs,1990
3. Compiler-Assisted Static Checkpoint insertion;Long,1992
4. The research of multiversion methods for improving the fault tolerance of software systems for monitoring the parameters of technological processes;Losev;IOP Conf. Ser.: Earth Environ. Sci.,2020