pingpong.aadl 1.35 KB