"Easy Parameterized Verification of Biphase Mark and 8N1 Protocols."

Geoffrey M. Brown, Lee Pike (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics