Measure -- From MITL to Timed Automata -- Adding Invariants to Event Zone Automata --