@inproceedings{ASMTA2011, author = {Enrico Barbierato and Marco Gribaudo and Mauro Iacono and Stefano Marrone}, title = {Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools}, booktitle = {ASMTA}, year = {2011}, pages = {257-272} }