Added AADL to Clafer work