Formal Verification for the ROBUS Start-up Protocol Breadcrumbs UL Home Research Publications Year of Publication 2004