Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker | IEEE Conference Publication | IEEE Xplore