Setiawan, F., Yahya, B. N. and Lee, S.-L. (2018) “A VERIFICATION APPROACH FOR HUMAN BEHAVIOR MODELING”, International Journal of Industrial Engineering: Theory, Applications and Practice, 25(1). doi: 10.23055/ijietap.2018.25.1.3777.