Building secure cars : assuring the automotive software development lifecycle
On the Usefulness of Clause Strengthening in Parallel SAT Solving
A Validation Methodology for OCaml-to-PVS Translation
TOYOTA MBD initiatives for engine control design
Practical application of model-based software design for automotive