"Formal development of a network-centric rtos : software engineering for reliable embedded systems" - читать интересную книгу автора (Verhulst E., et al. )