Safe Intersections At the Crossing of Hybrid Systems and Verification