F. Setiawan, B. N. Yahya, and S.-L. Lee, “A VERIFICATION APPROACH FOR HUMAN BEHAVIOR MODELING”, Int J Ind Eng, vol. 25, no. 1, Feb. 2018.