A Hardware/Software CBSE Framework for RTOS Services: The Timing Service Case Study | IEEE Conference Publication | IEEE Xplore