Architectural Artefacts for Autonomic Distributed Systems- Contract Language | IEEE Conference Publication | IEEE Xplore