Title: Logical Analysis of Hybrid Systems
Subjects: System analysis, Engineering, System theory