Model based multi-level prototyping | IEEE Conference Publication | IEEE Xplore