Introduction to Security in the Automotive Software Development Lifecycle
PERSIST – A scalable software architecture for the control of diverse automotive hybrid topologies
Software Fault‐Tolerance Techniques
Reference Architecture for Commercial Avionics Software
Metrics-based strategies for quality assurance of automotive embedded software
MBSE Validation and Verification: Case Study for LADEE