CUP: A Formalism for Expressing Cloud Usage Patterns for Experts and Non-Experts | IEEE Journals & Magazine | IEEE Xplore