A Method for Verifying Properties of Modechart Specifications. - Farnam Jahanian; Douglas A. Stuart (RTSS, 1988)

Implementing a Verifier for Real-Time Systems. - Douglas A. Stuart (RTSS, 1990)

Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications. - Douglas A. Stuart; Paul C. Clements (RTSS, 1991)

A new generation modechart verifie. - Jin Yang; Aloysius K. Mok; Douglas A. Stuart (IEEE Real Time Technology and Applications Symposium, 1995)

Compiling Modechart Specifications. - Carlos Puchol; Aloysius K. Mok; Douglas A. Stuart (RTSS, 1995)

A Methodology and Support Tools for Analysis of Real-Time Specifications. - Douglas A. Stuart; Aloysius K. Mok; Farnam Jahanian (Int. J. Softw. Eng. Knowl. Eng., 1996)

An Operational Semantics and Compiler for Real-Time Specifications. - Carlos Puchol; Douglas A. Stuart; Aloysius K. Mok (Integr. Comput. Aided Eng., 1998)

Simulation-Verification: Biting at the State Explosion Problem. - Douglas A. Stuart; Monica Brockmeyer; Aloysius K. Mok; Farnam Jahanian (IEEE Trans. Software Eng., 2001)