Andrew C. Uselton

A Compositional Semantics for Statecharts using Labeled Transition Systems

Scott A. Smolka, Andrew C. Uselton, A. Uselton, 1994, CONCUR.

Structured Operational Semantics for Concurrency and Hierarchy

Andrew C. Uselton, 1993, STACS.

A Process Algebraic Semantics for Statecharts via State Refinement

Scott A. Smolka, Andrew C. Uselton, 1994, PROCOMET.