Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems - Verhulst, Eric. (Springer US : Imprint: Springer, 2011)