

Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri'cation and quality prediction, such as FMCO, CBSE, FESCA, FACS andQoSA. There are a plethoraof componentmodels published, all with speci'c merits and bene'ts. However, most often these...