private String getStateLabel(HandshakeParameters.State state) {
        switch (state) {
        case REQ0ACK0:
            return LABEL_PREFIX + REQ_LABEL + ASSERTED_LABEL;
        case REQ1ACK0: