Setiawan, F.; Yahya, B. N.; Lee, S.-L. A VERIFICATION APPROACH FOR HUMAN BEHAVIOR MODELING. Int J Ind Eng 2018, 25.