Shared resources high-level modeling in embedded systems using virtual nodes | IEEE Conference Publication | IEEE Xplore