Michal Young Richard N. Taylor David L. Levine Kari A. Nies Debra Brodbeck A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. 65-106 1995 4 ACM Trans. Softw. Eng. Methodol. 1 db/journals/tosem/tosem4.html#YoungTLNB95 http://doi.acm.org/10.1145/201055.201080