T. Yampaka, duangjai noolek, and O. Chunhapran, “Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models”, ECTI-CIT Transactions, vol. 20, no. 4, pp. 643–657, Sep. 2026.