Performability Modelling Techniques and Tools by etc., R. Marie & B. Haverkort