Model based evaluation of policies for end-node driven fault recovery | IEEE Conference Publication | IEEE Xplore