A model-driven performance analysis framework for distributed, performance-sensitive software systems | IEEE Conference Publication | IEEE Xplore