Towards a knowledge base for specifying multilayer architectures-application to internetworking | IEEE Conference Publication | IEEE Xplore