@inproceedings(divine10,
 author       = "J. Barnat and L. Brim and M. Ce\v {s}ka and P. Ro\v {c}kai",
 year         = "2010",
 title        = "Di{V}in{E}: {Parallel} {D}istributed {M}odel {C}hecker",
 booktitle    = "HiBi/PDMC'10",
 pages        = "4--7",
 doi          = "10.1109/PDMC-HiBi.2010.9",
)
@inproceedings(preach,
 author       = "B. Bingham and J. Bingham and F.M. de Paula and J. Erickson and G. Singh and M. Reitblatt",
 year         = "2010",
 title        = "Industrial {S}trength {D}istributed {E}xplicit {S}tate {M}odel {C}hecking",
 booktitle    = "HiBi / PDMC 2010",
 publisher    = "IEEE",
 pages        = "28--36",
 doi          = "10.1109/PDMC-HiBi.2010.13",
)
@inproceedings(blom.fokkink.groote.mcrltoolset,
 author       = "S.C.C. Blom and W.J. Fokkink and J.F. Groote and I. {van} Langevelde and B. Lisser and J.C. {van} {de} Pol",
 year         = "2001",
 title        = "{$\mu $CRL}: {A} {T}oolset for {A}nalysing {A}lgebraic {S}pecifications",
 booktitle    = "CAV'01",
 series       = "LNCS",
 volume       = "2102",
 publisher    = "Springer",
 pages        = "250--254",
 doi          = "10.1007/3-540-44585-4\_23",
)
@inproceedings(ltsmintool,
 author       = "S.C.C. Blom and J.C. {van de} Pol and M. Weber",
 year         = "2010",
 title        = "$\unhbox \voidb@x \hbox {\sc LTSmin}$: {D}istributed and {S}ymbolic {R}eachability",
 booktitle    = "CAV'10",
 series       = "LNCS",
 volume       = "6174",
 pages        = "354--359",
 doi          = "10.1007/978-3-642-14295-6\_31",
)
@inproceedings(dwyer.elbaum.parallelrandomized,
 author       = "M.B. Dwyer and S.G. Elbaum and S. Person and R. Purandare",
 year         = "2007",
 title        = "Parallel {R}andomized {S}tate-space {S}earch",
 booktitle    = "ICSE'07",
 publisher    = "IEEE",
 pages        = "3--12",
 doi          = "10.1109/ICSE.2007.62",
)
@book(foster.parallel,
 author       = "I. Foster",
 year         = "1995",
 title        = "Designing and {B}uilding {P}arallel {P}rograms",
 publisher    = "Addison-Wesley",
)
@inproceedings(Garavel2006,
 author       = "H. Garavel and R. Mateescu and D. Bergamini and A. Curic and N. Descoubes and C. Joubert and I. Smarandache-Sturm and G. Stragier",
 year         = "2006",
 title        = "{DISTRIBUTOR} and {BCG\_MERGE}: {T}ools for {D}istributed {E}xplicit {S}tate {S}pace {G}eneration",
 booktitle    = "TACAS'06",
 series       = "LNCS",
 volume       = "3920",
 publisher    = "Springer",
 pages        = "445--449",
 doi          = "10.1007/11691372\_30",
)
@inproceedings(gp95,
 author       = "J.F. Groote and A. Ponse",
 year         = "1995",
 title        = "The {S}yntax and {S}emantics of $\mu ${CRL}",
 booktitle    = "ACP'94",
 publisher    = "Springer",
 pages        = "26--62",
)
@inproceedings(holzmann.swarm2,
 author       = "G.J. Holzmann and R. Joshi and A. Groce",
 year         = "2008",
 title        = "Swarm {V}erification",
 booktitle    = "ASE'08",
 publisher    = "IEEE",
 pages        = "1--6",
 doi          = "10.1109/ASE.2008.9",
)
@inproceedings(lerda.sista.distributedspin,
 author       = "F. Lerda and R. Sista",
 year         = "1999",
 title        = "Distributed-{M}emory Model Checking with {SPIN}",
 booktitle    = "{SPIN}'99",
 series       = "LNCS",
 volume       = "1680",
 publisher    = "Springer",
 pages        = "22--39",
 doi          = "10.1007/3-540-48234-2\_3",
)
@techreport(1394link,
 author       = "S.P. Luttik",
 year         = "1997",
 title        = "Description and {F}ormal {S}pecification of the {L}ink {L}ayer of {P}1394",
 type         = "SEN-R",
 number       = "9706",
 institution  = "CWI",
)
@article(moore,
 author       = "G.E. Moore",
 year         = "1998",
 title        = "{Cramming more Components onto Integrated Circuits}",
 journal      = "Proc.\ of the IEEE",
 volume       = "86",
 number       = "1",
 pages        = "82--85",
 doi          = "10.1109/JPROC.1998.658762",
)
@article(drm,
 author       = "M. {Torabi Dashti} and S. Krishnan Nair and H.L. Jonker",
 year         = "2008",
 title        = "Nuovo {DRM} {P}aradiso: {T}owards a {V}erified {F}air {DRM} {S}cheme",
 journal      = "Fundamenta Informaticae",
 volume       = "89",
 number       = "4",
 pages        = "393--417",
)
@inproceedings(wijs.isv,
 author       = "A.J. Wijs",
 year         = "2011",
 title        = "Towards {I}nformed {S}warm {V}erification",
 booktitle    = "NFM'11",
 series       = "LNCS",
 volume       = "6617",
 publisher    = "Springer",
 pages        = "422--437",
 doi          = "10.1007/978-3-642-20398-5\_30",
)