Paolo Donzelli Daniel Hirschbach Victor R. Basili Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. 315-324 2005 conf/sew/2005 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2005.49 db/conf/sew/sew2005.html#DonzelliHB05