Formal Development Of A Network-Centric Rtos by Eric Verhulst & Vitaliy Mezhuyev