Rosenkrantz, Daniel J., Madhav Marathe, S. S. Ravi, and Richard E. Stearns. 2021. “Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):11334-42. https://doi.org/10.1609/aaai.v35i13.17351.