Graph Theoretical Models for Enhancing Highway Connectivity and Safety in Vehicular Networks | Synapse