Definition of the three-tank benchmark problem for controller reconfiguration | IEEE Conference Publication | IEEE Xplore