automatically generated assurance case tree for an unmanned air vehicle