radar_types.aadl
radar.aadl