Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis