Test Suite Prioritization for Efficient Regression Testing of Model-Based Automotive Software | IEEE Conference Publication | IEEE Xplore