Support for specifying temporal behavior in Ada designs. - Raymond J. A. Buhr; Gerald M. Karam; Ronald S. Casselman (SETA, 1990)

Architectures with Pictures. - Raymond J. A. Buhr; Ronald S. Casselman (OOPSLA, 1992)

A Cataloging Framework for Software Development Methods. - Gerald M. Karam; Ronald S. Casselman (Computer, 1993)

Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. - Raymond J. A. Buhr; Ronald S. Casselman (OOPSLA, 1994)

TimeBench: a CAD tool for real-time system design. - Raymond J. A. Buhr; Gerald M. Karam; C. Murray Woodside; Ronald S. Casselman; Greg Franks; H. Scott; D. Bailey (SETA, 1994)