Real-Time Systems: Ravenscar Ada protected objects