Typed abstraction of complex network compositions | IEEE Conference Publication | IEEE Xplore