prod_cons.aadl