High-Level Specification Languages for Embedded System Design | Publicación