#graphs, #height, #components, #connections, #ports, #nodes, #edges, #flows
20, 5, 46, 127, 577, 306, 254, 141
forward_node_12 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_AReq.CASE_Filter_AReq
forward_node_4 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.c3
forward_node_7 = reach forward UAS_Impl_Instance.UAV.MCMP.bac5_BACKWARD
forward_node_2 = reach forward UAS_Impl_Instance.GND.bac6_BACKWARD
forward_node_17 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM
forward_node_18 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c27
forward_node_20 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_HW
forward_node_1 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c02
forward_node_5 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c03
forward_node_0 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW
forward_node_10 = reach forward UAS_Impl_Instance.GND.bac1_BACKWARD
forward_node_19 = reach forward UAS_Impl_Instance.UAV.MCMP.c04
forward_node_15 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c03
forward_node_9 = reach forward UAS_Impl_Instance.UAV.MCMP.c07
forward_node_8 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_HW
forward_node_6 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.c2
forward_node_14 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.FlyZonesDatabase
forward_node_16 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c25
forward_node_3 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR.c2
forward_node_13 = reach forward UAS_Impl_Instance.UAV.MCMP.BUS_HW
forward_node_11 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.c2
backward_node_5 = reach backward UAS_Impl_Instance.UAV.MCMP.c10
backward_node_20 = reach backward UAS_Impl_Instance.UAV.MCMP.bac6_BACKWARD
backward_node_4 = reach backward UAS_Impl_Instance.GND.PROC_HW
backward_node_1 = reach backward UAS_Impl_Instance.GND.PROC_SW.c_SMS_2_RD_01
backward_node_10 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c4
backward_node_16 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c04
backward_node_12 = reach backward UAS_Impl_Instance.UAV.MCMP.MEM_HW
backward_node_9 = reach backward UAS_Impl_Instance.UAV.MCMP.FC_UART_HW
backward_node_11 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.c2
backward_node_13 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c4
backward_node_18 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_REQ
backward_node_0 = reach backward UAS_Impl_Instance.UAV.MCMP.bac4_BACKWARD
backward_node_7 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c4
backward_node_8 = reach backward UAS_Impl_Instance.GND.PROC_HW
backward_node_19 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c11
backward_node_17 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c07
backward_node_3 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART
backward_node_6 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_LST.CASE_Filter_LST
backward_node_14 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c24
backward_node_2 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS
backward_node_15 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c19
source_target_node_1 = reach from UAS_Impl_Instance.GND.bac6_FORWARD to UAS_Impl_Instance.bac1_BACKWARD
source_target_node_9 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR.c2 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c06
source_target_node_0 = reach from UAS_Impl_Instance.UAV.c3 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c02
source_target_node_15 = reach from UAS_Impl_Instance.GND.PROC_SW.c_GS_2_RD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM.c1
source_target_node_19 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c16 to UAS_Impl_Instance.GND.bac6_FORWARD
source_target_node_20 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_REQ.c2 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c4
source_target_node_2 = reach from UAS_Impl_Instance.GND.PROC_SW.c_SMS_2_RD_02 to UAS_Impl_Instance.GND.c1
source_target_node_6 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.CASE_Monitor_Geo to UAS_Impl_Instance.UAV.MCMP.bac6_FORWARD
source_target_node_5 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c3 to UAS_Impl_Instance.GND.c4
source_target_node_10 = reach from UAS_Impl_Instance.UAV.MCMP.bac4_FORWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR
source_target_node_18 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c11 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.c1
source_target_node_8 = reach from UAS_Impl_Instance.UAV.c4 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c26
source_target_node_13 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.c5 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.c2
source_target_node_3 = reach from UAS_Impl_Instance.GND.bac1_FORWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.c1
source_target_node_17 = reach from UAS_Impl_Instance.GND.MEM_HW to UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.c1
source_target_node_7 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c24 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_LST.c1
source_target_node_12 = reach from UAS_Impl_Instance.UAV.MCMP.bac5_BACKWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.CASE_AttestationGate
source_target_node_16 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c07 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM.CASE_AttestationManager
source_target_node_11 = reach from UAS_Impl_Instance.GND.PROC_SW to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c3
source_target_node_14 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM.c3 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART
source_target_node_4 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c1 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART
path_node_7 = reach paths from UAS_Impl_Instance.GND.PROC_SW.c_SMS_2_RD_01 to UAS_Impl_Instance.GND.PROC_SW.RadioDriver
path_node_17 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c1 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_LST.CASE_Filter_LST
path_node_5 = reach paths from UAS_Impl_Instance.GND.c3 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c22
path_node_12 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c5 to UAS_Impl_Instance.UAV.FCTL.c1
path_node_3 = reach paths from UAS_Impl_Instance.UAV.MCMP.bac5_BACKWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_ARes
path_node_19 = reach paths from UAS_Impl_Instance.bac1_BACKWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c23
path_node_4 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_AReq.c1 to UAS_Impl_Instance.GND.PROC_HW
path_node_10 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM to UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS
path_node_13 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c2 to UAS_Impl_Instance.UAV.FCTL.c1
path_node_16 = reach paths from UAS_Impl_Instance.UAV.bac5 to UAS_Impl_Instance.UAV.MCMP.bac3_BACKWARD
path_node_0 = reach paths from UAS_Impl_Instance.GND to UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.c4
path_node_1 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c06
path_node_15 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c2 to UAS_Impl_Instance.UAV.MCMP.bac2_FORWARD
path_node_2 = reach paths from UAS_Impl_Instance.GND.bac4_FORWARD to UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS
path_node_9 = reach paths from UAS_Impl_Instance.UAV.MCMP.MEM_HW to UAS_Impl_Instance.UAV.bac2_BACKWARD
path_node_6 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c27 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR
path_node_18 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c23 to UAS_Impl_Instance.GND.bac6_FORWARD
path_node_20 = reach paths from UAS_Impl_Instance.UAV.MCMP.bac2_BACKWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.UARTDriver
path_node_14 = reach paths from UAS_Impl_Instance.UAV.MCMP.bac1_BACKWARD to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.c3
path_node_8 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR.c1 to UAS_Impl_Instance.UAV.MCMP.PROC_HW
path_node_11 = reach paths from UAS_Impl_Instance.UAV.MCMP.c02 to UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.c6
forward_port_18 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c13.out
forward_port_11 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.MissionCommand
forward_port_15 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c7.out
forward_port_10 = reach forward UAS_Impl_Instance.GND.PROC_SW.processor_OUT
forward_port_3 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM.c1.out
forward_port_9 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c22.out
forward_port_2 = reach forward UAS_Impl_Instance.GND.MEM_HW.bindings_OUT
forward_port_12 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.OperatingRegion
forward_port_20 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.processor_IN
forward_port_17 = reach forward UAS_Impl_Instance.GND.PROC_HW.bindings_OUT
forward_port_19 = reach forward UAS_Impl_Instance.UAV.MCMP.bac3_BACKWARD.in
forward_port_13 = reach forward UAS_Impl_Instance.UAV.bac5.out
forward_port_16 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c3.out
forward_port_4 = reach forward UAS_Impl_Instance.UAV.MCMP.bac6_FORWARD.in
forward_port_5 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_AReq.CASE_Filter_AReq.filter_in
forward_port_1 = reach forward UAS_Impl_Instance.UAV.MCMP.bac5_BACKWARD.in
forward_port_6 = reach forward UAS_Impl_Instance.GND.RADIO_HW.send_data_in
forward_port_8 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.OperatingRegion_in
forward_port_14 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.c1.out
forward_port_7 = reach forward UAS_Impl_Instance.UAV.MCMP.c06.BIND_IN
forward_port_0 = reach forward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c15.in
backward_port_9 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c3.out
backward_port_2 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c25.in
backward_port_7 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c16.in
backward_port_17 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c04.out
backward_port_1 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c25.in
backward_port_8 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.LineSearchTask
backward_port_16 = reach backward UAS_Impl_Instance.bac2_FORWARD.out
backward_port_4 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.c12.out
backward_port_12 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.CASE_Monitor_Geo.memory_OUT
backward_port_14 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.radio_recv
backward_port_13 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.processor_IN
backward_port_3 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.UARTDriver.AirVehicleState
backward_port_18 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.UARTDriver.processor_IN
backward_port_15 = reach backward UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS.memory_OUT
backward_port_6 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.uart_send
backward_port_19 = reach backward UAS_Impl_Instance.RFA.ACCESS_IN
backward_port_10 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.CASE_AttestationGate.AutomationRequest_in
backward_port_11 = reach backward UAS_Impl_Instance.UAV.MCMP.FC_UART_OUT
backward_port_5 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.processor_OUT
backward_port_20 = reach backward UAS_Impl_Instance.bac1_BACKWARD.in
backward_port_0 = reach backward UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.processor_IN
source_target_port_6 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.am_request to UAS_Impl_Instance.GND.PROC_SW.c_SMS_2_RD_03.out
source_target_port_0 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.memory_IN to UAS_Impl_Instance.UAV.radio_recv
source_target_port_12 = reach from UAS_Impl_Instance.c2.out to UAS_Impl_Instance.UAV.MCMP.FC_UART_HW.MCA_OUT
source_target_port_7 = reach from UAS_Impl_Instance.UAV.MCMP.RADIO_HW.RFA_OUT to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c1.in
source_target_port_10 = reach from UAS_Impl_Instance.UAV.MCMP.bac4_FORWARD.in to UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c1.out
source_target_port_9 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.AirVehicleState to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.c1.out
source_target_port_19 = reach from UAS_Impl_Instance.GND.PROC_SW.c_SMS_2_RD_03.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.c2.in
source_target_port_14 = reach from UAS_Impl_Instance.UAV.bac1_BACKWARD.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.RadioDriver_Attestation.am_request
source_target_port_4 = reach from UAS_Impl_Instance.GND.RADIO_HW.GSA_IN to UAS_Impl_Instance.GND.c4.BIND_OUT
source_target_port_17 = reach from UAS_Impl_Instance.GND.PROC_SW.RadioDriver.OperatingRegion to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.CASE_Monitor_Geo.observed
source_target_port_3 = reach from UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS.LineSearchTask to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_ARes.CASE_Filter_ARes.filter_in
source_target_port_13 = reach from UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS.processor_OUT to UAS_Impl_Instance.UAV.FCTL.GPS.position
source_target_port_2 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c1.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.c5.in
source_target_port_11 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c5.in to UAS_Impl_Instance.UAV.MCMP.FC_UART_HW.send_data_out
source_target_port_1 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_ARes.c1.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.FlyZonesDatabase.memory_OUT
source_target_port_15 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.am_response to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.RadioDriver_Attestation.processor_OUT
source_target_port_8 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c7.out to UAS_Impl_Instance.GND.PROC_SW.memory_OUT
source_target_port_5 = reach from UAS_Impl_Instance.UAV.MCMP.FC_UART_HW.recv_data_out to UAS_Impl_Instance.GND.PROC_HW.GSA_OUT
source_target_port_20 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_ARes.processor_IN to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_AReq.CASE_Filter_AReq.processor_IN
source_target_port_18 = reach from UAS_Impl_Instance.GND.PROC_SW.SendMessagesServiceGS.AutomationRequest to UAS_Impl_Instance.GND.RFA_IN
source_target_port_16 = reach from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.CASE_AttestationGate.LineSearchTask_out to UAS_Impl_Instance.GND.bac3_BACKWARD.in
path_port_1 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_LST.processor_OUT to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.memory_OUT
path_port_14 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_REQ.CASE_Monitor_Req.memory_OUT to UAS_Impl_Instance.UAV.MCMP.PROC_SW.WPM.c1.out
path_port_20 = reach paths from UAS_Impl_Instance.UAV.MCMP.bac6_FORWARD.in to UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.UxAS.OperatingRegion
path_port_6 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM.c3.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.c3.out
path_port_10 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.radio_send to UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.UxAS.memory_IN
path_port_4 = reach paths from UAS_Impl_Instance.GND.BUS_HW.ACCESS_OUT to UAS_Impl_Instance.UAV.MCMP.PROC_HW.MCA_IN
path_port_19 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_REQ.c1.out to UAS_Impl_Instance.GND.PROC_HW.bindings_OUT
path_port_11 = reach paths from UAS_Impl_Instance.UAV.MCMP.bac5_BACKWARD.in to UAS_Impl_Instance.UAV.MCMP.PROC_SW.c15.out
path_port_17 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FlyZones.c1.in to UAS_Impl_Instance.UAV.MCMP.fc_uart_recv
path_port_7 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.UARTDriver.memory_OUT to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.c1.out
path_port_16 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c19.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.observed
path_port_15 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.processor_IN to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR.c2.out
path_port_13 = reach paths from UAS_Impl_Instance.c2.in to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.processor_IN
path_port_3 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.CASE_AttestationGate.memory_IN to UAS_Impl_Instance.UAV.MCMP.PROC_SW.FC_UART.UARTDriver.memory_IN
path_port_0 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.AM_Gate.CASE_AttestationGate.OperatingRegion_out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.MON_GEO.CASE_Monitor_Geo.keep_out_zones
path_port_18 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.FLT_OR.CASE_Filter_OR.filter_out to UAS_Impl_Instance.GND.RFA_IN
path_port_8 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.UxAS.AirVehicleState to UAS_Impl_Instance.GND.PROC_SW.processor_IN
path_port_9 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.c22.in to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c6.in
path_port_5 = reach paths from UAS_Impl_Instance.UAV.MCMP.c06.BIND_IN to UAS_Impl_Instance.GND.PROC_SW.RadioDriver.recv_data
path_port_2 = reach paths from UAS_Impl_Instance.UAV.MCMP.PROC_SW.UXAS.memory_OUT to UAS_Impl_Instance.UAV.MCMP.c07.out
path_port_12 = reach paths from UAS_Impl_Instance.UAV.c1.out to UAS_Impl_Instance.UAV.MCMP.PROC_SW.RADIO.c6.outforward_node_12  = 54715, 7980, 74638, 74301, 15451, 87511, 9751, 30915, 73041, 115521, 54382
forward_node_4  = 27350, 41856, 43546, 78751, 49199, 68506, 53172, 112357, 71760, 17062, 56355
forward_node_7  = 36914, 17723, 133, 23699, 137, 116401, 61892, 217, 3844, 57710, 31867
forward_node_2  = 17723, 23751, 46752, 80419, 96161, 6018, 30978, 37256, 91503, 2538, 43309
forward_node_17  = 22938, 35362, 8163, 45769, 45615, 44995, 42889, 34522, 87526, 100525, 46830
forward_node_18  = 45463, 17559, 117383, 25672, 210, 95729, 20931, 155, 94860, 5539, 42350
forward_node_20  = 32582, 123084, 29785, 53958, 75513, 54624, 26639, 16009, 22121, 72566, 50688
forward_node_1  = 65185, 23027, 15617, 32154, 29997, 15416, 93513, 5040, 112167, 158203, 55031
forward_node_5  = 86510, 60731, 56157, 38636, 3684, 48092, 87751, 161283, 96317, 64061, 70322
forward_node_0  = 4410, 11314, 33076, 42110, 38456, 41100, 28596, 35155, 7136, 102772, 34412
forward_node_10  = 15119, 69016, 14801, 15360, 86206, 51684, 2845, 7327, 120051, 42479, 42488
forward_node_19  = 12217, 31895, 3818, 26041, 40462, 39404, 55601, 44293, 15459, 23420, 29261
forward_node_15  = 79073, 45367, 68299, 24059, 19575, 58821, 12669, 24673, 11521, 80938, 42499
forward_node_9  = 50358, 17320, 20934, 49430, 68865, 88248, 12931, 138499, 22162, 60685, 52943
forward_node_8  = 51360, 76399, 95065, 27931, 113858, 62160, 52702, 118461, 55284, 36406, 68962
forward_node_6  = 78340, 91271, 19455, 4260, 21860, 26460, 54503, 88946, 88792, 20421, 49430
forward_node_14  = 8951, 56946, 36591, 8283, 11603, 103300, 27792, 32748, 106303, 13299, 40581
forward_node_16  = 62719, 4466, 25032, 59422, 9068, 20016, 20771, 118963, 79622, 46507, 44658
forward_node_3  = 164651, 28103, 60288, 115357, 64877, 39340, 71168, 297018, 101503, 5693, 94799
forward_node_13  = 58522, 83272, 75028, 26108, 71872, 9075, 91743, 61714, 3587, 30932, 51185
forward_node_11  = 41902, 15500, 39222, 12751, 33527, 3823, 78391, 72091, 41876, 98622, 43770
total =  = 49815

backward_node_5  = 63756, 25502, 19270, 30036, 109797, 18351, 39158, 76662, 29672, 49353, 46155
backward_node_20  = 65804, 49149, 88153, 36547, 73360, 7089, 22246, 14084, 25374, 33482, 41528
backward_node_4  = 57310, 46184, 26066, 37505, 46173, 113027, 48453, 69945, 13585, 36204, 49445
backward_node_1  = 49282, 30070, 33593, 61145, 37055, 55388, 25199, 13926, 76168, 31025, 41285
backward_node_10  = 92520, 71152, 24210, 95296, 33940, 48697, 18283, 51514, 18191, 4570, 45837
backward_node_16  = 80930, 11455, 42252, 43206, 16500, 42451, 37200, 83703, 50209, 61050, 46895
backward_node_12  = 40639, 36024, 76077, 92164, 77251, 76287, 22537, 14400, 7189, 25888, 46845
backward_node_9  = 20103, 18611, 8365, 54708, 73417, 55621, 3511, 39055, 66789, 23312, 36349
backward_node_11  = 76141, 29754, 90094, 75610, 26775, 39702, 57418, 19267, 36485, 71264, 52251
backward_node_13  = 49946, 62244, 118768, 46778, 63774, 12919, 83063, 37191, 147051, 19549, 64128
backward_node_18  = 55693, 110298, 4618, 58809, 51646, 87193, 88053, 48297, 81559, 13089, 59925
backward_node_0  = 35694, 53333, 30098, 29101, 93340, 66010, 83741, 131410, 40708, 6902, 57033
backward_node_7  = 50100, 72087, 34105, 17785, 84543, 88608, 29767, 32653, 70658, 18772, 49907
backward_node_8  = 26602, 2619, 35919, 2913, 63579, 30656, 125166, 27436, 59351, 119030, 49327
backward_node_19  = 24038, 59841, 67426, 71836, 16802, 3566, 12064, 43350, 57292, 53954, 41016
backward_node_17  = 2749469, 39834, 53097, 31283, 55103, 25490, 50485, 22774, 126643, 99150, 325332
backward_node_3  = 53479, 7133, 59440, 7104, 4776, 35829, 69179, 60850, 4560, 78143, 38049
backward_node_6  = 11859, 15235, 15660, 28806, 34265, 31759, 6757, 76921, 32651, 43160, 29707
backward_node_14  = 41340, 43843, 59818, 32972, 44640, 51428, 84187, 144096, 22738, 66783, 59184
backward_node_2  = 5091, 81933, 11419, 85209, 8463, 62331, 26124, 7464, 94253, 115354, 49764
backward_node_15  = 15376, 33364, 63144, 12449, 86424, 16223, 43515, 3671, 11561, 40510, 32623
total =  = 60123

source_target_node_1  = 142364, 39679, 128067, 44140, 117720, 129615, 26672, 243850, 75607, 95985, 104369
source_target_node_9  = 151149, 52794, 13549, 8924, 8543, 152765, 138359, 61284, 93063, 48849, 72927
source_target_node_0  = 28504, 107940, 58613, 146554, 28162, 53891, 156682, 218239, 165259, 107593, 107143
source_target_node_15  = 22847, 74929, 108305, 90720, 22650, 46480, 63504, 151184, 28527, 34694, 64384
source_target_node_19  = 113652, 160357, 123848, 158557, 15255, 75147, 79506, 193933, 43932, 6781, 97096
source_target_node_20  = 117540, 211399, 5229, 90315, 49603, 133391, 192137, 153327, 100522, 157043, 121050
source_target_node_2  = 235286, 18881, 82286, 67674, 142265, 152910, 98153, 100231, 227461, 210789, 133593
source_target_node_6  = 82556, 188434, 199997, 133245, 201818, 78421, 111836, 14472, 110165, 167433, 128837
source_target_node_5  = 63259, 276898, 29689, 53108, 45271, 187782, 53739, 26853, 180430, 64633, 98166
source_target_node_10  = 16954, 144662, 53873, 149750, 94349, 25140, 38365, 85471, 199533, 90451, 89854
source_target_node_18  = 140566, 11601, 110159, 192042, 75530, 33873, 144775, 149107, 280218, 76758, 121462
source_target_node_8  = 36613, 70505, 78613, 70647, 71239, 13989, 219011, 63063, 110595, 107773, 84204
source_target_node_13  = 8922, 217435, 140589, 141335, 78654, 64321, 219821, 119215, 9591, 75618, 107550
source_target_node_3  = 160466, 312016, 45257, 49075, 167430, 129724, 33451, 187039, 38574, 146687, 126971
source_target_node_17  = 125780, 184225, 26270, 16713, 38432, 39482, 185134, 7553, 69697, 120661, 81394
source_target_node_7  = 186659, 2828667, 137776, 83108, 85556, 175633, 96002, 46272, 166885, 28138, 383469
source_target_node_12  = 212879, 132306, 145632, 88197, 32969, 85789, 44364, 138361, 12894, 105484, 99887
source_target_node_16  = 148863, 194344, 39568, 29279, 140190, 107497, 115267, 209633, 228478, 18562, 123168
source_target_node_11  = 148641, 7345, 159154, 37444, 206121, 7697, 74483, 202431, 2767095, 82376, 369278
source_target_node_14  = 55057, 110832, 68017, 108120, 105619, 148679, 84992, 144399, 146327, 145787, 111782
source_target_node_4  = 99381, 93131, 76422, 128789, 151674, 84268, 9762, 87679, 85558, 60987, 87765
total =  = 129254

path_node_7  = 3635619, 874481, 788064, 750784, 510, 421, 644468, 662134, 620820, 3470694, 1144799
path_node_17  = 453328, 293600, 192502, 358589, 663339, 988132, 502522, 391125, 1133969, 118677, 509578
path_node_5  = 1018196, 513325, 159506, 390799, 3346116, 1087205, 491879, 986400, 1021602, 830950, 984597
path_node_12  = 468518, 486940, 944721, 397331, 523519, 165908, 692857, 653428, 756520, 75275, 516501
path_node_3  = 464, 496619, 138639, 11257, 819460, 492923, 370205, 1145271, 292460, 82126, 384942
path_node_19  = 449216, 3862164, 418642, 537204, 418852, 294729, 3797488, 497519, 741381, 940669, 1195786
path_node_4  = 885390, 604526, 237586, 727300, 821311, 460422, 305279, 1339007, 2944953, 657862, 898363
path_node_10  = 113666, 610232, 820196, 851982, 951340, 435997, 1059330, 336850, 610786, 897730, 668810
path_node_13  = 423963, 578420, 868107, 737316, 1007459, 600927, 1332208, 18095, 216551, 339848, 612289
path_node_16  = 574711, 760672, 990728, 156171, 903192, 1191390, 827585, 609815, 993203, 202327, 720979
path_node_0  = 358442, 248769, 740528, 691293, 289446, 199217, 278787, 205766, 466611, 610280, 408913
path_node_1  = 460121, 866561, 557608, 111595, 350, 474, 94784, 754534, 190290, 113960, 315027
path_node_15  = 1057834, 505143, 220924, 1001338, 63173, 734298, 79354, 876439, 192000, 346240, 507674
path_node_2  = 333701, 504843, 1198945, 120790, 501167, 3563615, 113452, 17224, 797082, 765531, 791635
path_node_9  = 679922, 257116, 469386, 373434, 982059, 815037, 668250, 1069521, 236783, 640604, 619211
path_node_6  = 461389, 844060, 1249011, 682137, 900837, 522, 851384, 1273774, 635653, 232083, 713085
path_node_18  = 707368, 28768, 1147664, 2844216, 486211, 474719, 327469, 352934, 263200, 998658, 763120
path_node_20  = 839140, 1120312, 535675, 1026858, 597046, 1006727, 558022, 628973, 175614, 720216, 720858
path_node_14  = 641404, 981192, 319682, 192903, 317855, 575805, 602629, 665520, 517177, 41078, 485524
path_node_8  = 918045, 1380028, 1090060, 19790, 869184, 718411, 86117, 360370, 806394, 884617, 713301
path_node_11  = 1045942, 529177, 273543, 215300, 738259, 332890, 1028166, 973281, 19071, 93187, 524881
total =  = 676184

forward_port_18  = 661680, 5332954, 7521524, 2491484, 9233255, 2751748, 4516835, 6209299, 419062, 7562206, 4670004
forward_port_11  = 9047858, 8465838, 4309758, 4894855, 5243152, 4805860, 8347381, 8815596, 4338728, 406420, 5867544
forward_port_15  = 3939931, 9206350, 8195775, 1385707, 9650704, 8587996, 1652020, 6427854, 7192287, 4184009, 6042263
forward_port_10  = 8006179, 3075939, 6920305, 4937017, 2430872, 6139692, 3232640, 7256063, timeout, timeout, timeout
forward_port_3  = 5832163, 5772155, 4889482, 8638156, 3049298, 7635764, 9015335, 4802325, 761426, 1722841, 5211894
forward_port_9  = 2338531, 8565612, 5279294, 3490259, 4180413, 8975822, 3848503, 3674467, 3954415, 1006743, 4531405
forward_port_2  = 4949319, 686315, 2385474, 4196178, 1433754, 4092871, 5820249, 2698649, 5109811, 8103478, 3947609
forward_port_12  = 4311523, 1090061, 1350937, 6240186, 8729097, 2034723, 705797, 9662406, 3281091, 5620455, 4302627
forward_port_20  = 4310817, 6960738, 8437234, 6714959, 6795490, 5991352, 7863822, 1672363, 5677447, 2433120, 5685734
forward_port_17  = 4912553, 5752504, 6013073, 1827743, 6746819, 450567, 1666327, 5449382, 2123398, 2675829, 3761819
forward_port_19  = 2054255, 3626828, 6126753, 8198939, 3521587, 8267846, 372174, 2404201, 2839358, 3447914, 4085985
forward_port_13  = 995927, 7581336, 606019, 833302, 1106521, 9592002, 7439403, 7930623, 8602736, 3823185, 4851105
forward_port_16  = 8915671, 1491072, 7070210, 2796910, 7857043, 8060525, 9855295, 9146404, 6537039, 9880435, 7161060
forward_port_4  = 9465588, 368353, 9585089, 5980501, 2188820, 3836000, 9338013, 1303992, 6633186, 8978958, 5767850
forward_port_5  = 1433177, 6683091, 1026782, 7539610, 351873, 5422542, 1113527, 1011938, 1267455, 6625270, 3247526
forward_port_1  = 6098452, 9355949, 9053556, 1429000, 277, 207, 6762845, 422, 7097409, 7033630, 4683174
forward_port_6  = 8394004, 2119467, 3650101, 3785672, 704785, 1695808, 6747916, 8330423, 8088232, 9431224, 5294763
forward_port_8  = 298926, 2416588, 2833072, 9461950, 7592275, 3985862, 2049211, 3458415, 9482645, 1372328, 4295127
forward_port_14  = 2642060, 4670255, 1723454, 9944399, 5851019, 1289216, 2950384, 415841, 9146713, 8573845, 4720718
forward_port_7  = 1503032, 7795743, 8807035, 8773236, 225, 2876466, 4155530, 90, 4179665, 3390429, 4148145
forward_port_0  = 3262952, 4234940, 2965839, 486752, 4995272, 883602, 5513413, 4250830, 1585683, 5486518, 3366580
total =  = 4782146

backward_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_4  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_3  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_10  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 0

source_target_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_10  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_4  = 440362, 491360, 420848, 3629048, 351890, 372159, 382197, 341577, 390147, 326528, 714611
source_target_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_3  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 714611

path_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_10  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_4  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_3  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 0