@INPROCEEDINGS{DSN0002, author = {G. Franceschinis AND M. Gribaudo AND M. Iacono AND V. Vittorini AND C. Bertoncello}, title = {{DrawNet++}: a flexible framework for building dependability models}, booktitle = {In Proc. of the Int. Conf. on Dependable Systems and Networks}, address= {Washington DC, USA}, month ={June}, year={2002} }