Added v1.0 aadl sources