Autonomous driving is among the most demanding road applications. It requires high accuracy coupled to a high level of integrity. Furthermore, the environment in which it operates is much harsher than its counterparts in other domains like aviation or maritime...