This work demonstrates a formal synthesis strategy for sequential control of complex chemical batch procedures. A modular hierarchical approach is adopted based on the ISA-S88 standards for batch control. Individual controllers in the hierarchy are synthesised from a reduced domain of elementary components and a set of specifications local to that controller. Techniques are also presented for handling communication between hierarchical levels of the controller and for real time process constraints. Finally it is shown how controllers are aggregated into an hierarchical architecture. The method is demonstrated on a complex cleaning in place unit procedure on Imperial College’s batch pilot plant.