Integrated Concurrency Analysis in a Software Development Enviornment. - Michal Young; Richard N. Taylor; K. Forester; Debra Brodbeck (Symposium on Testing, Analysis, and Verification, 1989)

A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. - Michal Young; Richard N. Taylor; David L. Levine; Kari A. Nies; Debra Brodbeck (ACM Trans. Softw. Eng. Methodol., 1995)