ModES: Embedded Systems Design Methodology and Tools based on MDE | IEEE Conference Publication | IEEE Xplore