A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. - Allan M. Stavely; D. C. Becker; S. P. Orr; Gregory B. Titus (ICSE, 1985)