@(DAS4,
 title        = "DAS-4 (The Distributed ASCI Supercomputer 4) Overview",
 url          = "http://www.cs.vu.nl/das4/",
)
@(SpinJa,
 title        = "Distributed MAP in SpinJa",
 url          = "http://www.cs.vu.nl/~sjj.vijzelaar/spinja/",
)
@article(Bal2010,
 author       = "Henri~E. Bal and Jason Maassen and Rob van Nieuwpoort and Niels Drost and Roelof Kemp and Nick Palmer and Thilo Kielmann and Frank~J. Seinstra and Ceriel J.~H. Jacobs",
 year         = "2010",
 title        = "Real-World Distributed Computer with Ibis",
 journal      = "IEEE Computer",
 volume       = "43",
 number       = "8",
 pages        = "54--62",
 doi          = "10.1109/MC.2010.184",
)
@inproceedings(Barnat2005,
 author       = "Jiri Barnat and Lubos Brim and Ivana Cern{\'a}",
 year         = "2005",
 title        = "Cluster-Based LTL Model Checking of Large Systems",
 booktitle    = "FMCO",
 pages        = "259--279",
 doi          = "10.1007/11804192\_13",
)
@article(Dijkstra1987,
 author       = "E.~W. Dijkstra",
 year         = "1987",
 title        = "Shmuel Safra's Version of Termination Detection (Note EWD998)",
 url          = "http://www.cs.utexas.edu/~EWD/ewd09xx/EWD998.PDF",
)
@book(Holzmann2004,
 author       = "Gerard~J. Holzmann",
 year         = "2004",
 title        = "The SPIN Model Checker - primer and reference manual",
 publisher    = "Addison-Wesley",
)
@inproceedings(Jonge2010,
 author       = "Marc de~Jonge and Theo~C. Ruys",
 year         = "2010",
 title        = "The SpinJa Model Checker",
 booktitle    = "SPIN",
 pages        = "124--128",
 doi          = "10.1007/978-3-642-16164-3\_9",
)
@inproceedings(Kattenbelt2007,
 author       = "M.~Kattenbelt and T.~Ruys and A.~Rensink",
 year         = "2007",
 title        = "An Object-Oriented Framework for Explicit-State Model Checking",
 booktitle    = "VVSS",
 pages        = "84--92",
 url          = "http://doc.utwente.nl/65394/",
)
@inproceedings(Krepska2011,
 author       = "Elzbieta Krepska and Thilo Kielmann and Wan Fokkink and Henri~E. Bal",
 year         = "2011",
 title        = "A High-Level Framework for Distributed Processing of Large-Scale Graphs",
 booktitle    = "ICDCN",
 pages        = "155--166",
 doi          = "10.1007/978-3-642-17679-1\_14",
)
@inproceedings(Pel'anek2007,
 author       = "Radek Pel{\'a}nek",
 year         = "2007",
 title        = "BEEM: Benchmarks for Explicit Model Checkers",
 booktitle    = "SPIN",
 pages        = "263--267",
 doi          = "10.1007/978-3-540-73370-6\_17",
)
@inproceedings(Verstoep2009,
 author       = "Kees Verstoep and Henri~E. Bal and Jiri Barnat and Lubos Brim",
 year         = "2009",
 title        = "Efficient large-scale model checking",
 booktitle    = "IPDPS",
 pages        = "1--12",
 doi          = "10.1109/IPDPS.2009.5161000",
)