Model-based design strategy for Safety in Aerospace and Avionics.

Más información aquí