Visualization of Verification Information Throughout The System Lifecycle Using a Model-Based Tool