@incollection(chocklernagini2018,
 author       = {Marco Eilers and Peter Müller},
 year         = {2018},
 title        = {Nagini: {A} {Static} {Verifier} for {Python}},
 editor       = {Hana Chockler and Georg Weissenbacher},
 booktitle    = {Computer {Aided} {Verification}},
 volume       = {10981},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {596--603},
 doi          = {10.1007/978-3-319-96145-3_33},
 url          = {http://link.springer.com/10.1007/978-3-319-96145-3_33},
)
@inproceedings(fdr,
 author       = {Gibson-Robinson, Thomas and Philip Armstrong and Alexandre Boulgakov and Andrew Roscoe},
 year         = {2014},
 title        = {{FDR3 -- A Modern Model Checker for CSP}},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {LNCS},
 volume       = {8413},
 publisher    = {Springer},
 pages        = {187--201},
 doi          = {10.1007/978-3-642-54862-8\unhbox\voidb@x \kern0.06em\vbox{\hrule width0.5em}13},
)
@article(hoare1978communicating,
 author       = {Charles Antony~Richard Hoare},
 year         = {1978},
 title        = {Communicating sequential processes},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@inproceedings(LuckcuckFormal2021,
 author       = {Matt Luckcuck and Rafael~C. Cardoso},
 year         = {2022},
 title        = {Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest},
 editor       = {Natasha Alechina and Matteo Baldoni and Brian Logan},
 booktitle    = {Engineering Multi-Agent Systems},
 publisher    = {Springer},
 address      = {Cham},
 pages        = {198--217},
 doi          = {10.1007/978-3-030-97457-2_12},
 url          = {https://arxiv.org/abs/2106.04512},
)
@article(luckcuck2019formal,
 author       = {Matt Luckcuck and Marie Farrell and Louise~A Dennis and Clare Dixon and Michael Fisher},
 year         = {2019},
 title        = {Formal specification and verification of autonomous robotic systems: A survey},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {52},
 number       = {5},
 pages        = {1--41},
 doi          = {10.1145/3342355},
 url          = {https://dl.acm.org/doi/10.1145/3342355},
)
@book(ucs,
 author       = {A.W. Roscoe},
 title        = {Understanding Concurrent Systems},
 series       = {Texts in Computer Science},
 publisher    = {Springer London},
 doi          = {10.1007/978-1-84882-258-0},
 url          = {http://link.springer.com/10.1007/978-1-84882-258-0},
)