Title: Advances in Design and Specification Languages for Embedded Systems
Subjects: Systems engineering, Computer network architectures, Computer science, Software engineering, Embedded computer systems