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 (Feb. 2018). DOI:https://doi.org/10.23055/ijietap.2018.25.1.3777.