D. J. Rosenkrantz, M. Marathe, S. S. Ravi, and R. E. Stearns, “Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms”, AAAI, vol. 35, no. 13, pp. 11334-11342, May 2021.