Formal Synthesis of Event-Triggered Controllers