Title: Communicating embedded systems
Subjects: Development, Embedded computer systems, Formal methods (Computer science), Computer software, Programming, Design and construction, Computer software, development, System design, Computer science, Networks on a chip