@article{
AdzDeS:13-018,
author={D. Adzkiya and B. {D}e Schutter and A. Abate},
title={Finite abstractions of max-plus-linear systems},
journal={IEEE Transactions on Automatic Control},
volume={58},
number={12},
pages={3039--3053},
month=dec,
year={2013},
doi={
10.1109/TAC.2013.2273299}
}