"FlexRay for Avionics: Automatic Verification with Parametric Physical Layers."

Michael Gerke et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics