Operating system fault tolerance support for real-time embedded applications - Afonso, Francisco (2009)