Linear benchmarks. - Steve Vestal (IRTAW, 1990)

On the accuracy of predicting rate monotonic scheduling performance. - Steve Vestal (TRI-Ada, 1990)

Scheduling and communication in MetaH. - Steve Vestal; Pam Binns (RTSS, 1993)

Mode changes in a real-time architecture description language. - Steve Vestal (CDS, 1994)

Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. - Steve Vestal (IEEE Trans. Software Eng., 1994)

Architecture specifications for complex real-time dependable systems. - Pam Binns; Steve Vestal (ICECCS, 1995)

Domain-Specific Software Architectures for Guidance, Navigation and Control. - Pam Binns; Matt Englehart; Mike Jackson; Steve Vestal (Int. J. Softw. Eng. Knowl. Eng., 1996)

Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95. - Steve Vestal; Laurent Guerby; Robert Dewar; David J. McConnell; Bruce A. Lewis (IRTAW, 1997)

Modern Avionics Requirements for the Distributed Systems Annex. - Bruce A. Lewis; Steve Vestal; David J. McConnell (Ada-Europe, 1998)

Formal Verification of the MetaH Executive Using Linear Hybrid Automata. - Steve Vestal (IEEE Real Time Technology and Applications Symposium, 2000)

Developing Evolvable, Embedded, Time-Critical Systems with MetaH. - Bruce A. Lewis; Edward Colbert; Steve Vestal (TOOLS (34), 2000)

DoME. - Steve Vestal (ACM SIGSOFT Softw. Eng. Notes, 2000)

Incremental constraint engine. - Steve Vestal (ACM SIGSOFT Softw. Eng. Notes, 2000)

MetaH. - Steve Vestal (ACM SIGSOFT Softw. Eng. Notes, 2000)

Formalizing Software Architectures for Embedded Systems. - Pam Binns; Steve Vestal (EMSOFT, 2001)

Applications of Model Checking at Honeywell Laboratories. - Darren D. Cofer; Eric Engstrom; Robert P. Goldman; David J. Musliner; Steve Vestal (SPIN, 2001)

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)

Hierarchical Composition and Abstraction in Architecture Models. - Pam Binns; Steve Vestal (IFIP-WADL, 2004)

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. - Peter H. Feiler; Bruce A. Lewis; Steve Vestal; Edward Colbert (IFIP-WADL, 2004)

Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. - Steve Vestal (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Formal Modeling and Analysis of the AFDX Frame Management Design. - Madhukar Anand; Steve Vestal; Samar Dajani-Brown; Insup Lee 001 (ISORC, 2006)

Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. - Steve Vestal (RTSS, 2007)

Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. - Sanjoy K. Baruah; Steve Vestal (ECRTS, 2008)

A Compositional Scheduling Framework for Digital Avionics Systems. - Arvind Easwaran; Insup Lee 001; Oleg Sokolsky; Steve Vestal (RTCSA, 2009)

A Framework for Compositional Timing Analysis of Embedded Computer Systems. - Rob Edman; Hazel Shackleton; John Shackleton; Tyler Smith; Steve Vestal (HPCC/CSS/ICESS, 2015)