Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control