Hardware/Software Design Considerations for Automotive Embedded Systems
basic concepts and taxonomy of dependable and secure computing .