Add AADL Domain, rewrite documentation to use it