Modeling High-Performance Wormhole NoCs for Critical Real-Time Embedded Systems | IEEE Conference Publication | IEEE Xplore