Empirical Evaluation of a Method for Monitoring Cloud Services Based on Models at Runtime | IEEE Journals & Magazine | IEEE Xplore