Standards and norms
Development and integration of static analysis tools into customer processes
Safety Analysis (FHA)
Formal Verification of Models
Static Analysis of Source Code
Co-Simulation
Test Generation
Other references