IEEE TDSC Release

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"