Approximate-Timed Transactional Level Modeling for MPSoC Exploration: A Network-on-Chip Case Study | IEEE Conference Publication | IEEE Xplore