Software architectural specification for optimal object distribution | IEEE Conference Publication | IEEE Xplore