05/03/13 aadl and .c .h