I. Hwang, H. Balakrishnan, R. Ghosh, and C. J. Tomlin. “Reachability Analysis of Delta-Notch Lateral Inhibition using Predicate Abstraction,” Proceedings of the International Conference on High Performance Computing, Volume 2552 of Lecture Notes in Computer Science, December 2002.