Source: http://courstsig.feyder.net/cours/question1/1.9-processusEtSI.pdf