1. Adzkiya D, De Schutter B, Abate A (2015) Computational techniques for reachability analysis of max-Plus-Linear systems. Automatica 53:293–302
2. Akian M, Gaubert S, Kolokoltsov V (2005) Set coverings and invertibility of functional galois. In: Litvinov GL, Maslov VP (eds) Idempotent mathematics and mathematical physics, vol 377, pp 19–51
3. Baccelli F, Cohen G, Olsder GJ, Quadrat JP (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New York
4. Bertsimas D, Tsitsiklis J (1997) Introduction to linear optimization. Athena Scientific, Belmont
5. Birkhoff G (1967) Lattice theory, vol 25, 3rd edn. American Mathematical Society