A formal approach to reconfigurability analysis application to the three tank benchmark | IEEE Conference Publication | IEEE Xplore