O. Maler

• From timed to hybrid systems