TOYOTA MBD initiatives for engine control design
Practical application of model-based software design for automotive
On the Usefulness of Clause Strengthening in Parallel SAT Solving
'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen
Heterogeneous Verification of an Autonomous Curiosity Rover
Entwicklung der Forschungssoftware RCE im DLR