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