@inproceedings(BarGle2011,
 author       = "B. Bartels and S. Glesner",
 year         = "2011",
 title        = "Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementation Using Timed CSP",
 editor       = "T. Dan Thu and K. Leung",
 booktitle    = "Proceedings of the 18th Asia Pacific Software Engineering Conference (APSEC 2011)",
 publisher    = "IEEE Computer Society",
 pages        = "195--202",
 doi          = "10.1109/APSEC.2011.52",
)
@incollection(Bartels:2014aa,
 author       = "Bj{\"o}rn Bartels and Nils J{\"a}hnig",
 year         = "2014",
 title        = "Mechanized, Compositional Verification of Low-Level Code",
 editor       = "JuliaM. Badger and KristinYvonne Rozier",
 booktitle    = "NASA Formal Methods",
 series       = "LNCS",
 volume       = "8430",
 publisher    = "Springer International Publishing",
 pages        = "98--112",
 doi          = "10.1007/978-3-319-06200-6_8",
)
@inproceedings(DBLP:conf/tacas/Gibson-RobinsonABR14,
 author       = "Thomas Gibson{-}Robinson and Philip J. Armstrong and Alexandre Boulgakov and A. W. Roscoe",
 year         = "2014",
 title        = "{FDR3} - {A} Modern Refinement Checker for {CSP}",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014",
 pages        = "187--201",
 doi          = "10.1007/978-3-642-54862-8_13",
)
@incollection(VATES_Approach,
 author       = "Sabine Glesner and Bj{\"o}rn Bartels and Thomas G{\"o}thel and Moritz Kleine",
 year         = "2010",
 title        = "The VATES-Diamond as a Verifier's Best Friend",
 editor       = "Simon Siegler and Nathan Wasser",
 booktitle    = "Verification, Induction, Termination Analysis",
 series       = "LNCS",
 volume       = "6463",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "81--101",
 doi          = "10.1007/978-3-642-17172-7_5",
)
@article(Hoare:1978:CSP:359576.359585,
 author       = "C. A. R. Hoare",
 year         = "1978",
 title        = "Communicating Sequential Processes",
 journal      = "Commun. ACM",
 volume       = "21",
 number       = "8",
 pages        = "666--677",
 doi          = "10.1145/359576.359585",
)
@book(Nipkow2002,
 author       = "Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel",
 year         = "2002",
 title        = "{Isabelle/HOL --- A Proof Assistant for Higher-Order Logic}",
 series       = "LNCS",
 volume       = "2283",
 publisher    = "Springer",
 doi          = "10.1007/3-540-45949-9",
)
@inproceedings(Saabas05acompositional,
 author       = "Ando Saabas and Tarmo Uustalu",
 year         = "2005",
 title        = "A compositional natural semantics and Hoare logic for low-level languages",
 booktitle    = "Proceedings of the Second Workshop on Structured Operational Semantics",
 publisher    = "Elsevier",
 pages        = "151--168",
 doi          = "10.1016/j.entcs.2005.09.031",
)
@book(Schneider1999,
 author       = "Steve Schneider",
 year         = "1999",
 title        = "{Concurrent and Real Time Systems: The CSP Approach}",
 publisher    = "John Wiley \& Sons, Inc.",
 address      = "New York, NY, USA",
 url          = "http://www.computing.surrey.ac.uk/personal/st/S.Schneider/books/CRTS.pdf",
)
@techreport(Tews:2004aa,
 author       = "Hendrik Tews",
 year         = "2004",
 title        = "Verifying Duff's device: A simple compositional denotational semantics for Goto and computed jumps",
 type         = "Technical Report",
 institution  = "Technische Universit{\"a}t Dresden",
 url          = "http://askra.de/papers.html.de",
)
@book(Winskel:1993:FSP:151145,
 author       = "Glynn Winskel",
 year         = "1993",
 title        = "The Formal Semantics of Programming Languages: An Introduction",
 publisher    = "MIT Press",
 address      = "Cambridge, MA, USA",
)
@book(zwiers1989compositionality,
 author       = "J. Zwiers",
 year         = "1989",
 title        = "Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship",
 series       = "LNCS",
 volume       = "321",
 publisher    = "Springer",
 url          = "http://www.gbv.de/dms/bowker/toc/9783540508458.pdf",
)