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