Modeling of Failure detection and recovery in SysML | IEEE Conference Publication | IEEE Xplore