Formal Verification for the ROBUS Start-up Protocol Technical Report: NASA Langley Research Centre. (Not available to the public) Breadcrumbs UL Home Research Publications Year of Publication 2004