Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology