Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions