Companion release of the following paper, accepted for publication in the IEEE Transactions on Dependable and Secure Computing:
Stefania Cerboni, Laura Carnevali, Leonardo Montecchi, Enrico Vicario,
"FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems"