Formal Development of a Network-Centric RTOS