robot.aadl 4.42 KB