Real-Time Systems: Ravenscar Ada: Low-level Programming
Real-Time Systems: Fault Recovery