Model-driven generative techniques for scalable performability analysis of distributed systems | IEEE Conference Publication | IEEE Xplore