Pattern-Based Approach for Designing Fail-Operational Safety-Critical Embedded Systems | IEEE Conference Publication | IEEE Xplore