Object-oriented modelling for control synthesis and commissioning in power plants: A case study on flue gas path control | IEEE Conference Publication | IEEE Xplore