leon-serial.aadl 1.33 KB