Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System | IEEE Conference Publication | IEEE Xplore