Xue Liu Hui Ding Kihwal Lee Qixin Wang Lui Sha ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. 125-134 2008 ECRTS http://dx.doi.org/10.1109/ECRTS.2008.17 conf/ecrts/2008 db/conf/ecrts/ecrts2008.html#LiuDLWS08