https://123dok.net/document/eqop5djz-analyse-securite-systemes-autonomes-formalisation-evaluation-event.html