File:Reachability analysis - global behavior of this protocol system.svg Source: en.wikipedia.org/wiki/File:Reachability_analysis_-_global_behavior_of_this_protocol_system.svg