Cyber & formal methods publications January 1, 2011 Conference PaperAutomated Formal Verification of the Ttethernet Synchronization Quality SRI International January 1, 2011 ↓ View online Share this