Constructive Formal Control Synthesis Through Abstraction And Decomposition