Compositional analysis of switched Ethernet topologies | IEEE Conference Publication | IEEE Xplore