Open Ravenscar Real-Time Kernel ESTEC/Contract No.13863/99/NL/MV Technical Specification Operation Manual