Designing distributed component-based systems with DCL | IEEE Conference Publication | IEEE Xplore