Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems. - Leonard Petnga; Mark Austin (ICCVE, 2013)

Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems. - Leonard Petnga; Mark Austin (CSER, 2013)

Model-Based Systems Engineering for design and automated operation of modern waterway systems. - Leonard Petnga; Mark Austin (SysCon, 2014)

An ontological framework for knowledge modeling and decision support in cyber-physical systems. - Leonard Petnga; Mark Austin (Adv. Eng. Informatics, 2016)

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations. - Leonard Petnga; Mark Austin (Syst., 2016)

Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems. - Leonard Petnga (2016)

Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems. - Benjamin Lanier; Leonard Petnga (SoSE, 2019)

Capability-driven Formulation of System of Systems Core Competencies. - Leonard Petnga; Thomas Gasque (SoSE, 2019)