Create test1.aadl