https://5dok.org/document/1y9r61jy-dependable-path-planning-for-autonomous-control.html