D. P. K. Adi and B. Fahriza, “Analysis of the Impact of Spare Part Availability and Procurement Lead Time on Maintenance Operational Performance (Case Study: Batam Aero Teknik (BAT), Batam)”, DIJEMSS, vol. 7, no. 5, pp. 4703–4713, Jul. 2026.