Yampaka, T., noolek, duangjai and Chunhapran, O. (2026) “Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models”, ECTI Transactions on Computer and Information Technology (ECTI-CIT), 20(4), pp. 643–657. doi: 10.37936/ecti-cit.2026204.265957.