Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi. Modelling and Model-Based Assessment. In Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad P. A. van Moorsel, editors, Resilience Assessment and Evaluation of Computing Systems. pages 153-165, Springer, 2012. [doi]
Abstract is missing.