On the Development of a Model-Based Embedded Systems Design Laboratory Course | IEEE Conference Publication | IEEE Xplore