Comprehensive MILP Formulation and Solution for Simultaneous Scheduling of Machines and AGVs in a Partitioned Flexible Manufacturing System - Zhuang, Cheng (Machines, 2025)