Model Checking the FlexRay Physical Layer Protocol.

Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter

Browse the full FMICS paper archive.