Scalable model-checking for precise end-to-end latency computation | IEEE Conference Publication | IEEE Xplore