Towards an axiomatic framework to support the design of holonic systems | IEEE Conference Publication | IEEE Xplore