Giuliana Franceschinis Marco Gribaudo Mauro Iacono Valeria Vittorini C. Bertoncello DrawNet++: A Flexible Framework for Building Dependability Models. 540 2002 conf/dsn/2002 DSN http://computer.org/proceedings/dsn/1597/15970540.pdf db/conf/dsn/dsn2002.html#FranceschinisGIVB02