Safe Design of Controller for Smart Communicating Vehicles | IEEE Conference Publication | IEEE Xplore