Pattern-Based Approach for Designing Fail-Operational Safety-Critical Embedded Systems. - Dulcinéia Oliveira da Penha; Gereon Weiss; Alexander Stante (EUC, 2015)