Architectural run-time models for operator-in-the-loop adaptation of cloud applications | IEEE Conference Publication | IEEE Xplore