Pratama, Aditya Putra, et al. “Safety Verification of Uncertain Max-Plus-Linear Systems”. (IJCSAM) International Journal of Computing Science and Applied Mathematics, vol. 4, no. 2, Aug. 2018, pp. 52-55, https://journal.its.ac.id/index.php/ijcsam/article/view/4587.