Source: https://www.imdr.eu/offres/doc_inline_src/818/Analyse%2Bformelle%2Bet%2Bfiabiliste%2Bd27architectures%2BsystE8me%2B-%2BIssad_636.pdf