Rosenkrantz, D. J., M. Marathe, S. S. Ravi, and R. E. Stearns. “Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, May 2021, pp. 11334-42, doi:10.1609/aaai.v35i13.17351.