Une présentation intéressante du sujet (apparemment un peu datée) et de son utilisation dans l’aéronautique ainsi que le nucléaire pour du développement certifié :
http://www-sop.inria.fr/intech/embarques/verimag_overview.pdf

On remarquera qu’on ne parle pas du tout du monde UML, etc. ?