Hybrid Multiresolution Simulation & Model Checking: Network-On-Chip Systems