A Design Methodology for Self-Management in Distributed Environments | IEEE Conference Publication | IEEE Xplore