2002-01-0476 Model-Based Architecting for Reliability, Availability, and Maintainability Software in Automotive Applications | part of Electronic Engine Control Technologies | SAE books | IEEE Xplore