https://123dok.net/document/y9gg71rq-formal-verification-functionnal-layer-robotic-autonomous-systems.html