Validation of executable application models mapped onto network-on-chip platforms | IEEE Conference Publication | IEEE Xplore