: Formal Analysis of Hierarchical State Machines.
: Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.
: The ASM Ground Model Method as a Foundation for Requirements Engineering.
: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.
Ben C. Moszkowski
: A Hierarchical Completeness Proof for Propositional Temporal Logic.
Krishna V. Palem
: Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective.