Title: Formal System Verification
Subjects: Embedded computer systems, Ubiquitous computing