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