Setiawan, Feri, Bernardo Nugroho Yahya, and Seok-Lyong Lee. “A VERIFICATION APPROACH FOR HUMAN BEHAVIOR MODELING”. International Journal of Industrial Engineering: Theory, Applications and Practice 25, no. 1 (February 28, 2018). Accessed April 25, 2026. https://ijietap.journals.publicknowledgeproject.org/ijietap/index.php/ijie/article/view/3777.