An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK