Formal Verification of the TTCAN protocol Breadcrumbs UL Home Research Publications Year of Publication 2000