Shimmi Asokan, G. Santhosh Kumar. Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker. In Bijoy Antony Jose, Jimson Mathew, editors, 8th International Symposium on Embedded Computing and System Design, ISED 2018, Cochin, India, December 13-15, 2018. pages 69-73, IEEE, 2018. [doi]
Abstract is missing.