Module-based modeling and analysis of just-in-time production adopting dual-card kanban system and Mizusumashi worker | IEEE Conference Publication | IEEE Xplore