Contract-based integration of automotive control software. - Tobias Sehnke; Matthias Schultalbers; Rolf Ernst (DATE, 2017)

Temporal properties in automotive control software. - Tobias Sehnke; Dieter Schwarzmann; Matthias Schultalbers; Rolf Ernst (RTNS, 2017)

Temporal Properties in Component-Based Cyber Physical Systems - Appendix. - Tobias Sehnke; Matthias Schultalbers; Rolf Ernst (CoRR, 2017)