A framework for distributed system designs | IEEE Conference Publication | IEEE Xplore