Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. - Jan Toennemann; Andreas Rausch 001; Falk Howar; Benjamin Cool (FMICS, 2018)

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. - Jan Toennemann; Adina Aniculaesei; Andreas Rausch 001 (SAST, 2020)