Model-Based Testing of Automotive Systems | IEEE Conference Publication | IEEE Xplore