Source: https://www.utc.fr/~moreauva/Lean2009/conception_si_uml.pdf