"Advances in Design and Specification Languages for Embedded Systems" - читать интересную книгу автора (Sorin A. Huss (Editor))