Automatically Realising Embedded Systems from High-Level Functional Models | IEEE Conference Publication | IEEE Xplore