The field of digital engineering is moving towards a more integrated and seamless approach, with a focus on formal verification and ontological definitions. Researchers are working on developing frameworks that can analyze and simulate complex systems, taking into account continuous dynamics and networked communication. The use of standardized models and interfaces, such as FMI and SystemC, is becoming increasingly important for virtual prototyping and cross-tool integration. Noteworthy papers include: Formal Analysis of Networked PLC Controllers Interacting with Physical Environments, which presents a unified formal framework for analyzing PLC-driven systems, and FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping, which proposes a novel framework for controlling and interacting with SystemC-based Virtual Platforms using FMI. Ontological Definition of Seamless Digital Engineering Based on ISO/IEC 25000-Series SQuaRE Product Quality Model is also notable for its work on defining a consistent ontology for digital engineering.