LW
Automotive Safety Synthesis