Ab Aziz, A., Ahmad, F., Yusof, N., Kabir Ahmad, F. and Mohd Yusof, S.A. 2016. Formal Analysis of Temporal Dynamics Properties in Anxiety States and Traits. Journal of Telecommunication, Electronic and Computer Engineering (JTEC). 8, 8 (Nov. 2016), 133–138.