Ćirić, Miroslav, Ivana Micić,
Jelena Matejić, and Aleksandar Stamenković. 2024. “Simulations and
Bisimulations for Max-plus Automata.” Discrete Event Dynamic Systems: Theory
and Applications 34(2): 269–95.
https://link.springer.com/article/10.1007/s10626-024-00395-1 (January 31,
2025).