The following pages link to SURF 2015: Provably-correct control synthesis for automotive active safety systems: