Correct-By-Construction Control Synthesis For Systems With Disturbance And Uncertainty