robot.aadl.out 1.41 KB