Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation. - Andreas Puhm; Michael Kramer; Patrick Moosbrugger; Martin Horauer (ETFA, 2014)

Runtime Analysis with R2U2: A Tool Exhibition Report. - Johann Schumann; Patrick Moosbrugger; Kristin Y. Rozier (RV, 2016)

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. - Patrick Moosbrugger; Kristin Y. Rozier; Johann Schumann (Formal Methods Syst. Des., 2017)