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
A Validation Methodology for OCaml-to-PVS Translation