J. W. Brackett

Experience in modeling a concurrent software system using STATEMATE

G. L. Coleman, C. P. Ellison, G. G. Gardner, 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

Performing requirements analysis project courses for external customers

J. W. Brackett, 1988 .