Safety Verification and Control for Collision Avoidance at Road Intersections