Formal Development of a Network-Centric RTOS - Verhulst, Eric; Boute, Raymond T.; Faria, José Miguel Sampaio; Mezhuyev, Vitaliy; Sputh, Bernhard H.C (Springer US, 2011)