radar_v1.aadl
radar_types.aadl
radar_common.aadl