| D_3_L1_And_L2_Check(EList, EList, EList) |   | 86% | | 91% | 1 | 7 | 3 | 30 | 0 | 1 |
| D_3_L3_Check(EList, EList) | | 79% | | 75% | 3 | 7 | 3 | 19 | 0 | 1 |
| D_4_L1_Check(DispatchRelativeTimeout, DeclarativeBehaviorTransition) | | 93% | | 65% | 7 | 11 | 3 | 32 | 0 | 1 |
| D_6_L3_And_L4_Check(BehaviorActionBlock) | | 93% | | 75% | 1 | 3 | 2 | 13 | 0 | 1 |
| D_4_L2_Check(CompletionRelativeTimeout, DeclarativeBehaviorTransition) | | 99% | | 71% | 8 | 15 | 0 | 34 | 0 | 1 |
| buildActionSetAssignedTargetLists(BehaviorActions, List, Set) | | 100% | | 97% | 1 | 18 | 0 | 54 | 0 | 1 |
| D_3_L5_Check(DispatchCondition) | | 100% | | 90% | 1 | 6 | 0 | 24 | 0 | 1 |
| D_6_L8_Check(TimedAction) | | 100% | | 100% | 0 | 3 | 0 | 13 | 0 | 1 |
| AadlBaLegalityRulesChecker(BehaviorAnnex, AnalysisErrorReporterManager) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| D_3_L7_Check(BehaviorTransition, Identifier) | | 100% | | 100% | 0 | 4 | 0 | 6 | 0 | 1 |
| D_3_L8_Check(Identifier) | | 100% | | 100% | 0 | 4 | 0 | 5 | 0 | 1 |
| D_3_L6_Check(BehaviorTransition, Identifier) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| reportLegalityError(BehaviorElement, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| reportLegalityWarning(BehaviorElement, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| D_3_L4_Check(EList, EList) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |