Architectural-Based Validation of Fault-Tolerant Software | IEEE Conference Publication | IEEE Xplore