From design to analysis models: a kernel language for performance and reliability analysis of component-based systems