https://123dok.net/document/6qmv7d8q-contribution-conception-systemes-appuyant-technique-description-formelle-lotos.html