A. P. Pratama, S. Subchan, and D. Adzkiya, “Safety Verification of Uncertain Max-Plus-Linear Systems”, IJCSAM, vol. 4, no. 2, pp. 52–55, Aug. 2018.