Limitations of Ada for real-time scheduling. - Dennis Cornhill; Lui Sha; John P. Lehoczky (IRTAW, 1987)

Using an architecture description language for quantitative analysis of real-time systems. - Robert Allen; Steve Vestal; Dennis Cornhill; Bruce A. Lewis (Workshop on Software and Performance, 2002)