Performability modelling : - Haverkort, Boudewijn R. (Wiley, 2001)