Show a reachability scenario when a state is reachable
Be able to click on a reachability icon, and display a sequence diagram showing that reachability ..
Be able to click on a reachability icon, and display a sequence diagram showing that reachability ..