Abstraction and verification of autonomous Max-Plus-Linear systems | IEEE Conference Publication | IEEE Xplore