Performability Modelling by Boudewijn R. Haverkort | Menrva Books