High-level simulation of embedded systems: experiences from the FIT project | IEEE Conference Publication | IEEE Xplore