JordanTFA Sequence Unhappy By JordanTFA

UML model