Trunk, J., Cottenceau, B., Hardouin, L., & Raisch, J. (2017). Model Decomposition of Weight-Balanced Timed Event Graphs in Dioids: Application to Control Synthesis. IFAC-PapersOnLine, 50(1), 13453-13460.