Title: Communicating embedded systems
Subjects: Development, Embedded computer systems, Formal methods (Computer science), Computer software, Programming, Design and construction