A Model-Based Approach to Facilitate Design of Homogeneous Redundant E/E Architectures | IEEE Conference Publication | IEEE Xplore