SOPHIA: a Modeling Language for Model-Based Safety Engineering.

Daniela Cancila, Franois Terrier, Fabien Belmonte, Hubert Dubois, Huscar Espinoza, Sbastien Grard, Arnaud Cuccuru

Browse the full MODELS paper archive.