added connections and properties to avoidance_system.aadl