Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Reachability problems for sequential dynamical systems with threshold functions. Theoretical Computer Science, 295:41-64, 2003. [doi]
Abstract is missing.