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