Towards Formal Planning for Quality-Aware Self-Adaptive Systems | IEEE Conference Publication | IEEE Xplore