Test Framework Generation for Model-Based Testing in Embedded Systems | IEEE Conference Publication | IEEE Xplore