Modeling of Failure detection and recovery in SysML. - Myron Hecht; Jeanne Tamaki; Derek Lo (ISSRE (Supplemental Proceedings), 2013)