Package laas.aadl.aadl2gspn