Source: https://www.researchgate.net/profile/Pierre-Bieber/publication/220933516_Vers_la_generation_de_modeles_de_surete_de_fonctionnement/links/53f5bbd20cf22be01c3f9ad3/Vers-la-generation-de-modeles-de-surete-de-fonctionnement.pdf