@inproceedings{
AdzDeS:12-010,
author={D. Adzkiya and B. {D}e Schutter and A. Abate},
title={Abstraction and verification of autonomous max-plus-linear systems},
booktitle={Proceedings of the 2012 American Control Conference},
address={Montr\'eal, Canada},
pages={721--726},
month=jun,
year={2012}
}