“Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia”, Proximal, vol. 6, no. 2, pp. 1–11, May 2023, doi: 10.30605/proximal.v6i2.2447.