@article(R1,
 author       = "Sofia Cassel and Falk Hower and Bengt Jonsson and Maik Merten and Bernhard Steffen",
 year         = "2011",
 title        = "A Succinct Canonical Register Automaton Model",
 journal      = "ATVA 2011",
 volume       = "LNCS 6996",
 pages        = "366--380",
 doi          = "10.1007/978-3-642-24372-1\_26",
)
@article(R2,
 author       = "Sofia Cassel and Falk Hower and Bengt Jonsson and Bernhard Steffen",
 year         = "2012",
 title        = "Inferring Canonical Register Automata",
 journal      = "VMCAI 2012",
 volume       = "LNCS 7148",
 pages        = "251--266",
 doi          = "10.1007/978-3-642-27940-9\_17",
)
@book(R3,
 author       = "Edmund M. Clarke and Jr. and Orna Grumberg and Doron A. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "MIT Press",
)
@article(2009:Demri,
 author       = "Stéphane Demri and Ranko Lazic",
 year         = "2009",
 title        = "{LTL} with the Freeze Quantifier and Register Automata",
 journal      = "{ACM} Transactions on Computational Logic",
 volume       = "10",
 number       = "16",
 doi          = "10.1145/1507244.1507246",
)
@article(2010:Figueira,
 author       = "Diego Figueira and Piotr Hofman and Slawomir Lasota",
 year         = "2010",
 title        = "Relating timed and register automata",
 journal      = "EPTCS 41",
 pages        = "61--75",
 doi          = "10.4204/EPTCS.41.5",
)
@article(R5,
 author       = "Michael Kaminiski and Nissim Francez",
 year         = "1994",
 title        = "Finite-memory automata",
 journal      = "Theoretical Computer Science",
 volume       = "134",
 pages        = "329--363",
 doi          = "10.1016/0304-3975(94)90242-9",
)
@book(KS:08:DP,
 author       = "D. Kroening and O. Strichman",
 year         = "2008",
 title        = "Decision Procedures - an algorithmic point of view",
 series       = "EATCS",
 publisher    = "Springer",
 doi          = "10.1007/s10817-013-9295-4",
)
@article(LSP:82:BGP,
 author       = "Leslie Lamport and Robert Shostak and Marshall Pease",
 year         = "1982",
 title        = "The {Byzantine} Generals Problem",
 journal      = "{ACM} Transactions on Programming Languages and Systems",
 volume       = "4",
 number       = "3",
 pages        = "382--401",
 doi          = "10.1145/357172.357176",
)
@article(R4,
 author       = "Frank Neven and Thomas Schwentick and Victor Vianu",
 year         = "2004",
 title        = "Finite State Machines for Strings Over Infinite Alphabets",
 journal      = "ACM Transsactions on Computational Logic",
 volume       = "5",
 number       = "3",
 pages        = "403--435",
 doi          = "10.1145/1013560.1013562",
)
@article(W:12:ASBGP,
 author       = "Junxing Wang",
 year         = "2012",
 title        = "A Simple {Byzantine} Generals Protocol",
 journal      = "Journal of Combinatorial Optimization",
 doi          = "10.1007/s10878-012-9534-3",
)