Model-Based Verification of Energy-Aware Real-Time Automotive Systems | IEEE Conference Publication | IEEE Xplore