Matrix and finite element stack machines for structural engineering computations with units. - Mark A. Austin (Adv. Eng. Softw., 2006)

Modeling and cross-domain dependability analysis of cyber-physical systems. - Mark R. Blackburn; Mark A. Austin; Maria Coelho (SysCon, 2018)

Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways. - Mark A. Austin; John Johnson (Syst., 2018)

Multi-Domain Semantic Model and Real-Time Planning Approach to Safe and Efficient Airport Taxiway Operations. - Sachraa G. Borjigin; Mark A. Austin (IEEE Trans. Intell. Transp. Syst., 2024)