Title: Formal methods for embedded distributed systems
Subjects: Electronic data processing, Distributed processing, Embedded computer systems