Towards the Automated Engineering of Dependable Adaptive Services | IEEE Conference Publication | IEEE Xplore