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