Durra: an integrated approach to software specification, modeling and rapid prototyping. - Mario Barbacci; Randall W. Lichota (RSP, 1991)

A Requirements Specification Method for Adaptive Real-Time Systems. - Alice H. Muntz; Randall W. Lichota (RTSS, 1991)

Building distributed Ada applications from specifications and functional components. - Dennis L. Doubleday; Mario R. Barbacci; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (TRI-Ada, 1991)

Synthesis of parallel Ada code from a knowledge base of rules. - Robert Chun; Randy Lichota; Brad Perry; Nael Sabha (SPDP, 1991)

Building fault tolerant distributed applications with Durra. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (CDS, 1992)

Durra: a structure description language for developing distributed applications. - Mario R. Barbacci; Charles B. Weinstock; Dennis L. Doubleday; Michael J. Gardner; Randall W. Lichota (Softw. Eng. J., 1993)

Verifying The Correctness Of Cryptographic Protocols Using "Convince". - Randall W. Lichota; Grace L. Hammonds; Stephen H. Brackin (ACSAC, 1996)