Tropical Lexicographic Optimization: Synchronizing Timed Event Graphs. - Alan Mendes Marotta; Vinicius Mariano Gonçalves; Carlos Andrey Maia (Symmetry, 2020)