This technical note investigates how to produce control programs for complex systems in a systematic manner. In particular, we present an abstraction-based approach to the specification and optimization of motion programs for controlling robot marionettes. The resulting programs are based on the concatenation of motion primitives and are further improved upon using recent results in optimal switch-time control. Simulations as well as experimental results illustrate the operation of the proposed method.