Text this: Model-driven design of cloud applications with quality-of-service guarantees: the modaclouds approach, MICAS Tutorial