Time/Events Hybrid Systems Mixed Systems Modal Models Loudness
Timed Automata Parking Meter Protocols Internet