Certified policy synthesis for adaptive CPS/IoT automotive