Performability Modelling : Techniques and Tools