add functional code and rename functions accordingly in aadl models in order to produce executable code