Model based development of COTS Complex Power-plant Control System | IEEE Conference Publication | IEEE Xplore