Title: Formal Modeling and Verification of Cyber-Physical Systems
Subjects: Ubiquitous computing, Embedded computer systems