Pratama, A.P. et al. 2018. Safety Verification of Uncertain Max-Plus-Linear Systems. (IJCSAM) International Journal of Computing Science and Applied Mathematics. 4, 2 (Aug. 2018), 52–55.