AppliedAttribute, include metamodel of formal methods