"Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security." "In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are …