Benjamin James, Jeffrey Goeders: Automated Software Compiler Techniques to Provide Fault Tolerance for Real-Time Operating Systems. DATE 2021: 1452-1455