A Survey on Clustering Techniques for Situation Awareness. - Stefan Mitsch; Andreas Müller 015; Werner Retschitzegger; Andrea Salfinger; Wieland Schwinger (APWeb, 2013)

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (KSEM, 2014)

A tour of BeAware - A situation awareness framework for control centers. - Norbert Baumgartner; Stefan Mitsch; Andreas Müller 015; Werner Retschitzegger; Andrea Salfinger; Wieland Schwinger (Inf. Fusion, 2014)

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. - Andreas Müller 015; Stefan Mitsch; André Platzer (ITSC, 2015)

A Component-Based Approach to Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (IFM, 2016)

A Benchmark for Component-based Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (ARCH@CPSWeek, 2017)

Change and Delay Contracts for Hybrid System Component Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (FASE, 2017)

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). - Andreas Müller 015; Stefan Mitsch; Wieland Schwinger; André Platzer (CyPhy/WESE, 2018)

Tactical contract composition for hybrid system component verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (Int. J. Softw. Tools Technol. Transf., 2018)

Towards CPS Verification Engineering. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger (iiWAS, 2020)