Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms | IEEE Conference Publication | IEEE Xplore