A domain specific language oriented to fault detection, isolation and recovery