DIMTOOL: A platform for determining worst case latencies in switched queuing networks | IEEE Conference Publication | IEEE Xplore