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)

Finding reachable states of finite-state concurrent systems. - Gregory B. Titus; Allan M. Stavely (J. Syst. Softw., 1989)