A model driven engineering methodology for embedded system designs — HIPAO2 | IEEE Conference Publication | IEEE Xplore