leon-serial.aadl 1.58 KB