Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems | IEEE Conference Publication | IEEE Xplore