A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications | IEEE Conference Publication | IEEE Xplore