Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network Breadcrumbs UL Home Research Publications Year of Publication 2010 Publisher Lambert Academic Publishing