Title: Advances in Design and Specification Languages for Embedded Systems
Subjects: Computer hardware description languages, Embedded computer systems