Timing verification of distributed network systems at higher levels of abstraction | IEEE Conference Publication | IEEE Xplore