Modeling Geographic Awareness of Road Networks for Consistency Verification