AUTOSAR NOTES
Automated Verification of Model Transformations in the Automotive Industry
Automotive Embedded System Development in AUTOSAR