A domain specific language oriented to fault detection, isolation and recovery | IEEE Conference Publication | IEEE Xplore