Setiawan, Feri, Bernardo Nugroho Yahya, and Seok-Lyong Lee. 2018. “A VERIFICATION APPROACH FOR HUMAN BEHAVIOR MODELING”. International Journal of Industrial Engineering: Theory, Applications and Practice 25 (1). https://doi.org/10.23055/ijietap.2018.25.1.3777.