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