Specification and synthesis of speed-independent controllers from Signal Transition Graphs