10 Challenges for the specification of self-adaptive software | IEEE Conference Publication | IEEE Xplore