Modelling and Analysing Overlay Networks by Ambients with Wormholes | IEEE Conference Publication | IEEE Xplore