Formal and Efficient Control Synthesis for Continuous-Time Stochastic Processes