Boudewijn R. Haverkort Ignas G. Niemegeers Performability Modelling Tools and Techniques. 17-40 1996 25 Perform. Eval. 1 db/journals/pe/pe25.html#HaverkortN96