Modeling and simulation of network-on-chip systems with DEVS and DEUS