https://123dok.net/document/q5m770jy-alloy4pv-un-framework-pour-la-verification-de-procedes-metiers.html