"Towards the Formal Verification of Lower System Layers in Automotive Systems."

Sven Beyer et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics