Specification-Carrying Code for Self-Managed Systems