@inproceedings(BackesR15,
 author       = "P. Backes and J. Reineke",
 year         = "2014",
 title        = "Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction",
 booktitle    = "Proc.\ VMCAI 2015",
 series       = "LNCS",
 volume       = "8931",
 publisher    = "Springer",
 pages        = "135--152",
 doi          = "10.1007/978-3-662-46081-8\_8",
)
@inproceedings(BaldanCK08,
 author       = "P. Baldan and A. Corradini and B. K{\"{o}}nig",
 year         = "2008",
 title        = "Unfolding Graph Transformation Systems: Theory and Applications to Verification",
 booktitle    = "Concurrency, Graphs and Models",
 series       = "LNCS",
 volume       = "5065",
 publisher    = "Springer",
 pages        = "16--36",
 doi          = "10.1007/978-3-540-68679-8\_3",
)
@article(Brooke-Paige09a,
 author       = "P. J. Brooke and R. F. Paige",
 year         = "2009",
 title        = "Cameo: an alternative model of concurrency for Eiffel",
 journal      = "Formal Aspects of Computing",
 volume       = "21",
 number       = "4",
 pages        = "363--391",
 doi          = "10.1007/s00165-008-0096-1",
)
@article(Brooke-PJ07a,
 author       = "P. J. Brooke and R. F. Paige and J. L. Jacob",
 year         = "2007",
 title        = "A {CSP} model of {Eiffel's} {SCOOP}",
 journal      = "Formal Aspects of Computing",
 volume       = "19",
 number       = "4",
 pages        = "487--512",
 doi          = "10.1007/s00165-007-0033-8",
)
@inproceedings(Caltais-Meyer14a,
 author       = "G. Caltais and B. Meyer",
 year         = "2014",
 title        = "Coffman Deadlocks in {SCOOP}",
 booktitle    = "Proc.\ NWPT 2014",
 note         = "Online version at \url {http://arxiv.org/abs/1409.7514}",
)
@inproceedings(CorradiniDFR04,
 author       = "A. Corradini and F. L. Dotti and L. Foss and L. Ribeiro",
 year         = "2004",
 title        = "Translating Java Code to Graph Transformation Systems",
 booktitle    = "Proc.\ ICGT 2004",
 series       = "LNCS",
 volume       = "3256",
 publisher    = "Springer",
 pages        = "383--398",
 doi          = "10.1007/978-3-540-30203-2\_27",
)
@inproceedings(DelzannoT13,
 author       = "G. Delzanno and R. Traverso",
 year         = "2013",
 title        = "Specification and Validation of Link Reversal Routing via Graph Transformations",
 booktitle    = "Proc.\ SPIN 2013",
 series       = "LNCS",
 volume       = "7976",
 publisher    = "Springer",
 pages        = "160--177",
 doi          = "10.1007/978-3-642-39176-7\_11",
)
@inproceedings(DottiDFRRS05,
 author       = "F. L. Dotti and L. M. Duarte and L. Foss and L. Ribeiro and D. Russi and O. Marchi dos Santos",
 year         = "2005",
 title        = "An Environment for the Development of Concurrent Object-Based Applications",
 booktitle    = "Proc.\ GraBaTs 2004",
 series       = "ENTCS",
 volume       = "127",
 publisher    = "Elsevier",
 pages        = "3--13",
 doi          = "10.1016/j.entcs.2004.12.026",
)
@inproceedings(FerreiraFR07,
 author       = "A. P. L{\"{u}}dtke Ferreira and L. Foss and L. Ribeiro",
 year         = "2007",
 title        = "Formal Verification of Object-Oriented Graph Grammars Specifications",
 booktitle    = "Proc.\ GT-VC 2006",
 series       = "ENTCS",
 volume       = "175",
 publisher    = "Elsevier",
 pages        = "101--114",
 doi          = "10.1016/j.entcs.2007.04.020",
)
@inproceedings(FerreiraR05,
 author       = "A. P. L{\"{u}}dtke Ferreira and L. Ribeiro",
 year         = "2005",
 title        = "A Graph-based Semantics For Object-oriented Programming Constructs",
 booktitle    = "Proc.\ CTCS 2004",
 series       = "ENTCS",
 volume       = "122",
 publisher    = "Elsevier",
 pages        = "89--104",
 doi          = "10.1016/j.entcs.2004.06.053",
)
@misc(GCD-Reference,
 title        = "{Grand Central Dispatch (GCD)} Reference",
 howpublished = "\url {https://developer.apple.com/library/mac/documentation/Performance/Reference/GCD_libdispatch_Ref/index.html}",
 note         = "Acc.: Dec. 2014",
)
@inproceedings(Geeraerts-HR13a,
 author       = "G. Geeraerts and A. Heu{\ss }ner and J.-F. Raskin",
 year         = "2013",
 title        = "Queue-Dispatch Asynchronous Systems",
 booktitle    = "Proc.\ ACSD 2013",
 publisher    = "IEEE",
 pages        = "150--159",
 doi          = "10.1109/ACSD.2013.18",
)
@article(Ghamarian-MRZZ12a,
 author       = "A. H. Ghamarian and M. de Mol and A. Rensink and E. Zambon and M. Zimakova",
 year         = "2012",
 title        = "Modelling and analysis using {GROOVE}",
 journal      = "Intern. J. on Softw. Tools for Techn. Trans.",
 volume       = "14",
 number       = "1",
 pages        = "15--40",
 doi          = "10.1007/s10009-011-0186-x",
)
@misc(GROOVE-Reference,
 title        = "GRaphs for Object-Oriented VErification GROOVE (project web page)",
 howpublished = "\url {http://groove.cs.utwente.nl/}",
 note         = "Acc.: Dec. 2014",
)
@article(Habel-Pennemann09a,
 author       = "A. Habel and K.-H. Pennemann",
 year         = "2009",
 title        = "Correctness of high-level transformation systems relative to nested conditions",
 journal      = "Mathem. Struct. in Comp. Sci.",
 volume       = "19",
 number       = "2",
 pages        = "245--296",
 doi          = "10.1017/S0960129508007202",
)
@inproceedings(JohnsenOA05,
 author       = "E. B. Johnsen and O. Owe and E. W. Axelsen",
 year         = "2005",
 title        = "A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls",
 booktitle    = "Proc.\ WRLA 2004",
 series       = "ENTCS",
 volume       = "117",
 publisher    = "Elsevier",
 pages        = "375--392",
 doi          = "10.1016/j.entcs.2004.06.012",
)
@article(JohnsenOY06,
 author       = "E. B. Johnsen and O. Owe and I. Chieh Yu",
 year         = "2006",
 title        = "Creol: {A} type-safe object-oriented model for distributed concurrent systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "365",
 number       = "1-2",
 pages        = "23--66",
 doi          = "10.1016/j.tcs.2006.07.031",
)
@inproceedings(KastenbergR06,
 author       = "H. Kastenberg and A. Rensink",
 year         = "2006",
 title        = "Model Checking Dynamic States in {GROOVE}",
 booktitle    = "Proc.\ SPIN 2006",
 series       = "LNCS",
 volume       = "3925",
 publisher    = "Springer",
 pages        = "299--305",
 doi          = "10.1007/11691617\_19",
)
@inproceedings(Morandi-SNM13a,
 author       = "B. Morandi and M. Schill and S. Nanz and B. Meyer",
 year         = "2013",
 title        = "Prototyping a Concurrency Model",
 booktitle    = "Proc.\ ACSD 2013",
 publisher    = "IEEE",
 pages        = "170--179",
 doi          = "10.1109/ACSD.2013.21",
)
@phdthesis(Nienaltowski07a,
 author       = "P. Nienaltowski",
 year         = "2007",
 title        = "Practical framework for contract-based concurrent object-oriented programming",
 type         = "Doctoral dissertation",
 school       = "ETH Z\"{u}rich",
)
@article(Ostroff-THS09a,
 author       = "J. S. Ostroff and F. Ahmadi Torshizi and H. F. Huang and B. Schoeller",
 year         = "2009",
 title        = "Beyond contracts for concurrency",
 journal      = "Formal Aspects of Computing",
 volume       = "21",
 number       = "4",
 pages        = "319--346",
 doi          = "10.1007/s00165-008-0073-8",
)
@inproceedings(Poskitt-Plump14a,
 author       = "C. M. Poskitt and D. Plump",
 year         = "2014",
 title        = "Verifying Monadic Second-Order Properties of Graph Programs",
 booktitle    = "Proc.\ ICGT 2014",
 series       = "LNCS",
 volume       = "8571",
 publisher    = "Springer",
 pages        = "33--48",
 doi          = "10.1007/978-3-319-09108-2\_3",
)
@inproceedings(Rensink10,
 author       = "A. Rensink",
 year         = "2010",
 title        = "The Edge of Graph Transformation - Graphs for Behavioural Specification",
 booktitle    = "Graph Transformations and Model-Driven Engineering",
 series       = "LNCS",
 volume       = "5765",
 publisher    = "Springer",
 pages        = "6--32",
 doi          = "10.1007/978-3-642-17322-6\_2",
)
@inproceedings(RensinkZ09,
 author       = "A. Rensink and E. Zambon",
 year         = "2009",
 title        = "A Type Graph Model for Java Programs",
 booktitle    = "Proc.\ FMOODS 2009",
 series       = "LNCS",
 volume       = "5522",
 publisher    = "Springer",
 pages        = "237--242",
 doi          = "10.1007/978-3-642-02138-1\_18",
)
@inproceedings(Rensink-Zambon12a,
 author       = "A. Rensink and E. Zambon",
 year         = "2012",
 title        = "Pattern-Based Graph Abstraction",
 booktitle    = "Proc.\ ICGT 2012",
 series       = "LNCS",
 volume       = "7562",
 publisher    = "Springer",
 pages        = "66--80",
 doi          = "10.1007/978-3-642-33654-6\_5",
)
@misc(Referee-Webpage,
 title        = "Supplementary Material",
 howpublished = "\url {http://www.swt-bamberg.de/gam2015_supp/}",
)
@inproceedings(Torshizi-OPC09a,
 author       = "F. A. Torshizi and J. S. Ostroff and R. F. Paige and M. Chechik",
 year         = "2009",
 title        = "The {SCOOP} Concurrency Model in {Java}-like Languages",
 booktitle    = "Proc.\ CPA 2009",
 series       = "Concurrent Systems Engineering Series",
 volume       = "67",
 publisher    = "IOS Press",
 pages        = "7--27",
 doi          = "10.3233/978-1-60750-065-0-7",
)
@inproceedings(West-NM10a,
 author       = "S. West and S. Nanz and B. Meyer",
 year         = "2010",
 title        = "A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model",
 booktitle    = "Proc.\ ICFEM 2010",
 series       = "LNCS",
 volume       = "6447",
 publisher    = "Springer",
 pages        = "597--612",
 doi          = "10.1007/978-3-642-16901-4\_39",
)
@inproceedings(West-NM15a,
 author       = "S. West and S. Nanz and B. Meyer",
 year         = "2015",
 title        = "Efficient and reasonable object-oriented concurrency",
 booktitle    = "Proc.\ PPoPP 2015",
 publisher    = "{ACM}",
 pages        = "273--274",
 doi          = "10.1145/2688500.2688545",
)
@inproceedings(ZambonR11,
 author       = "E. Zambon and A. Rensink",
 year         = "2011",
 title        = "Using Graph Transformations and Graph Abstractions for Software Verification",
 booktitle    = "Proc.\ ICGT-DS 2010",
 series       = "{ECEASST}",
 volume       = "38",
)
@inproceedings(Zambon-Rensink14a,
 author       = "E. Zambon and A. Rensink",
 year         = "2014",
 title        = "Solving the {N-Queens} Problem with {GROOVE} - Towards a Compendium of Best Practices",
 booktitle    = "Proc.\ GT-VMT 2014",
 series       = "ECEASST",
 volume       = "67",
)