Email Record: A verified hybrid controller for automated vehicles /