Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance | IEEE Conference Publication | IEEE Xplore