Reward Machine Reinforcement Learning for Autonomous Highway Driving: An Unified Framework for Safety and Performance | IEEE Conference Publication | IEEE Xplore