A joint article co-written by the STARTREC project partners is accepted at the ERTS 2022 conference: « Verification of a safety-critical system for autonomous vehicles » https://www.erts2022.org.