ping-two-buses.aadl 2.67 KB