Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha: The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 99-107