Towards the Formal Verification of a Distributed Real-Time Automotive System. - Erik Endres; Christian Müller 009; Andrey Shadrin; Sergey Tverdyshev (NASA Formal Methods, 2010)

Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. - Christian Müller 009; Wolfgang J. Paul (CAV, 2011)

Complete formal hardware verification of interfaces for a FlexRay-like bus. - Christian Müller 009 (2011)