"Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems" - читать интересную книгу автора (Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C....)