Towards a Generic Synthesis Framework for ADAS Control Laws