biblio.bib

@InProceedings{agree,
author="Corradini, Andrea
and Duval, Dominique
and Echahed, Rachid
and Prost, Frederic
and Ribeiro, Leila",
editor="Parisi-Presicce, Francesco
and Westfechtel, Bernhard",
title="AGREE -- Algebraic Graph Rewriting with Controlled Embedding",
booktitle="Graph Transformation",
year="2015",
publisher="Springer International Publishing",
address="Cham",
pages="35--51",
isbn="978-3-319-21145-9"
}


@book{Abrial1996,
 author = {Abrial, J.-R.},
 title = {The B-book: Assigning Programs to Meanings},
 year = {1996},
 isbn = {0-521-49619-5},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@book{Ammann2008,
 author = {Ammann, Paul and Offutt, Jeff},
 title = {Introduction to Software Testing},
 year = {2008},
 isbn = {0521880386, 9780521880381},
 edition = {1},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@Inbook{Azzi2018,
  author="Azzi, Guilherme Grochau
  and Bezerra, Jonas Santos
  and Ribeiro, Leila
  and Costa, Andrei
  and Rodrigues, Leonardo Marques
  and Machado, Rodrigo",
  editor="Heckel, Reiko
  and Taentzer, Gabriele",
  title="The Verigraph System for Graph Transformation",
  bookTitle="Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig  ",
  year="2018",
  publisher="Springer International Publishing",
  address="Cham",
  pages="160--178",
  isbn="978-3-319-75396-6",
  doi="10.1007/978-3-319-75396-6_9",
  url="https://doi.org/10.1007/978-3-319-75396-6_9"
}

@incollection{Baldan2004,
author = {Baldan, Paolo and K{\"{o}}nig, Barbara and St{\"{u}}rmer, Ingo},
booktitle = {Graph Transformations, Proceedings},
doi = {10.1007/978-3-540-30203-2_15},
isbn = {3-540-23207-9},
issn = {0302-9743},
pages = {194--209},
title = {{Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems}},
volume = {3256},
year = {2004}
}

@article{Baldan2007,
  author = {Baldan, Paolo and Corradini, Andrea and Montanari, Ugo and Ribeiro, Leila},
  doi = {10.1016/j.ic.2006.11.004},
  issn = {08905401},
  journal = {Information and Computation},
  keywords = {Concurrency,Event structures,Graph transformation systems,Nondeterminism,Petri nets,Read arcs,Unfolding},
  number = {5},
  pages = {733--782},
  title = {{Unfolding semantics of graph transformation}},
  volume = {205},
  year = {2007}
}

@Inbook{Baldan2008,
  author="Baldan, Paolo
  and Corradini, Andrea
  and K{\"o}nig, Barbara",
  editor="Degano, Pierpaolo
  and De Nicola, Rocco
  and Meseguer, Jos{\'e}",
  title="Unfolding Graph Transformation Systems: Theory and Applications to Verification",
  bookTitle="Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday",
  year="2008",
  publisher="Springer Berlin Heidelberg",
  address="Berlin, Heidelberg",
  pages="16--36",
  isbn="978-3-540-68679-8",
  doi="10.1007/978-3-540-68679-8_3",
  url="https://doi.org/10.1007/978-3-540-68679-8_3"
}

@InProceedings{Baldan2009,
  author="Baldan, Paolo
  and Corradini, Andrea
  and Heindel, Tobias
  and K{\"o}nig, Barbara
  and Soboci{\'{n}}ski, Pawe{\l}",
  editor="Kurz, Alexander
  and Lenisa, Marina
  and Tarlecki, Andrzej",
  title="Unfolding Grammars in Adhesive Categories",
  booktitle="Algebra and Coalgebra in Computer Science",
  year="2009",
  publisher="Springer Berlin Heidelberg",
  address="Berlin, Heidelberg",
  pages="350--366",
  isbn="978-3-642-03741-2"
}

@phdthesis{Becker2014,
  author = {Becker, Thiago Rafael},
  school = {Universidade Federal do Rio Grande do Sul},
  type = {Bachelor},
  file = {:home/jonas/000952616.pdf:pdf},
  title = {{VeriGraph: A Tool For Model Checking Graph Grammars}},
  year = {2014}
}


@article{BezerraWEIT2016,
  author = {Bezerra, Jonas Santos and Costa, Andrei and Ribeiro, Leila and Cota, {\'{E}}rika},
  doi = {10.1016/j.entcs.2016.09.005},
  file = {:home/jonas/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Bezerra, Costa, Ribeiro - 2016 - Formal Verification of Health Assessment Tools a Case Study.pdf:pdf},
  issn = {15710661},
  journal = {Electronic Notes in Theoretical Computer Science},
  keywords = {formal verification,graph transformations,medical guidelines,textual documents,use},
  number = {WEIT 2015, the Third Workshop-School on Theoretical Computer Science},
  pages = {31--50},
  title = {{Formal Verification of Health Assessment Tools : a Case Study}},
  volume = {324},
  year = {2016}
}

@inproceedings{BezerraETMF2016,
  address = {Porto Alegre/RS},
  author = {Bezerra, Jonas Santos and Ribeiro, Leila},
  booktitle = {Anais da 1{\textordfeminine} Escola de Inform{\'{a}}tica Te{\'{o}}rica e M{\'{e}}todos Formais},
  editor = {Cavalheiro, Simone Andr{\'{e}} da Costa and Musicante, Martin Alejandro and Ribeiro, Leila and Oliveira, Marcel Vinicius Medeiros},
  file = {:home/jonas/Anais{\_}ETMF2.pdf:pdf},
  isbn = {9788576693574},
  pages = {135--144},
  publisher = {Sociedade Brasileira de Computa{\c{c}}{\~{a}}o – SBC},
  title = {{Calculation and Applications of Concurrent Rules}},
  year = {2016}
}

@misc{Corradini1996,
  author = {Corradini, Andrea and Montanari, Ugo and Rossi, F},
  booktitle = {Fundamenta Informaticae},
  doi = {10.3233/FI-1996-263402},
  issn = {01692968},
  number = {3/4},
  pages = {241--265},
  title = {{Graph Processes}},
  volume = {26},
  year = {1996}
}

@techreport{Corradini1996:DPO,
 author = {Corradini, A. and Montanari, U. and Rossi, F. and Ehrig, H. and Heckel, R. and Loewe, M.},
 title = {Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach},
 year = {1996},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aunipi_it%3Ancstrl.unipi_it%2F%2FTR-96-17},
 publisher = {University of Pisa},
}

@inproceedings{Corradini:2006:SR:2162651.2162657,
 author = {Corradini, Andrea and Heindel, Tobias and Hermann, Frank and K\"{o}nig, Barbara},
 title = {Sesqui-pushout Rewriting},
 booktitle = {Proceedings of the Third International Conference on Graph Transformations},
 series = {ICGT'06},
 year = {2006},
 isbn = {3-540-38870-2, 978-3-540-38870-8},
 location = {Natal, Rio Grande do Norte, Brazil},
 pages = {30--45},
 numpages = {16},
 url = {http://dx.doi.org/10.1007/11841883_4},
 doi = {10.1007/11841883_4},
 acmid = {2162657},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@incollection{Corradini2013,
  author = {Corradini, Andrea and Heckel, Reiko and Hermann, Frank and Gottmann, Susann and Nachtigall, Nico},
  doi = {10.1007/978-3-642-37635-1_8},
  keywords = {concurrent semantics,graph transformation,negative ap-,plication conditions,switch equivalence},
  pages = {127--142},
  title = {{Transformation Systems with Incremental Negative Application Conditions}},
  year = {2013}
}

@incollection{Corradini2014,
  author = {Corradini, Andrea and Heckel, Reiko},
  doi = {10.1007/978-3-319-09108-2_14},
  file = {:home/jonas/chp{\%}3A10.1007{\%}2F978-3-319-09108-2{\_}14.pdf:pdf},
  pages = {207--221},
  title = {{Canonical Derivations with Negative Application Conditions}},
  year = {2014}
}

@inproceedings{Costa2016,
  author = {Costa, Andrei and Bezerra, Jonas and Azzi, Guilherme and Rodrigues, Leonardo and Becker, Thiago Rafael and Herdt, Ricardo Gabriel and Machado, Rodrigo},
  booktitle = {Brazilian Symposium on Formal Methods},
  doi = {10.1007/978-3-319-49815-7_5},
  file = {:home/jonas/corradini2.pdf:pdf},
  isbn = {978-3-642-10451-0},
  keywords = {Operating system,freertos,real time},
  pages = {78--94},
  title = {{Verigraph: A System for Specification and Analysis of Graph Grammars}},
  year = {2016}
}

@inproceedings{CostaETMF2016,
  address = {Porto Alegre/RS},
  author = {Costa, Andrei and Machado, Rodrigo and Ribeiro, Leila},
  booktitle = {Anais da 1{\textordfeminine} Escola de Inform{\'{a}}tica Te{\'{o}}rica e M{\'{e}}todos Formais},
  editor = {Cavalheiro, Simone Andr{\'{e}} da Costa and Musicante, Martin Alejandro and Ribeiro, Leila and Oliveira, Marcel Vinicius Medeiros},
  file = {:home/jonas/andrei{\_}etmf.pdf:pdf},
  isbn = {9788576693574},
  pages = {74--82},
  publisher = {Sociedade Brasileira de Computa{\c{c}}{\~{a}}o – SBC},
  title = {{Evolving Negative Application Conditions}},
  year = {2016}
}

@article{Cota2017,
  author = {Cota, {\'{E}}rika and Ribeiro, Leila and Bezerra, Jonas Santos and Costa, Andrei and da Silva, Rosiana Estefane and Cota, Gl{\'{a}}ucia},
  doi = {10.1016/j.ijmedinf.2017.04.012},
  issn = {13865056},
  journal = {International Journal of Medical Informatics},
  month = {apr},
  title = {{Using formal methods for content validation of medical procedure documents}},
  year = {2017}
}


@phdthesis{Deckwerth2016,
  author = {Deckwerth, F.},
  file = {:home/jonas/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Erlangung, Akademischen, Am - Unknown - Static Verification Techniques for Attributed Graph Transformations.pdf:pdf},
  pages = {220},
  school = {Technischen Universit{\"{a}}t Darmstadt},
  title = {{Static Verification Techniques for Attributed Graph Transformations}},
  year = {2016}
}

@incollection{Ehrig:1997:AAG:278918.278930,
 author = {Ehrig, H. and Heckel, R. and Korff, M. and L\"{o}we, M. and Ribeiro, L. and Wagner, A. and Corradini, A.},
 chapter = {Algebraic Approaches to Graph Transformation. Part II: Single Pushout Approach and Comparison with Double Pushout Approach},
 title = {Handbook of Graph Grammars and Computing by Graph Transformation},
 editor = {Rozenberg, Grzegorz},
 year = {1997},
 isbn = {98-102288-48},
 pages = {247--312},
 numpages = {66},
 url = {http://dl.acm.org/citation.cfm?id=278918.278930},
 acmid = {278930},
 publisher = {World Scientific Publishing Co., Inc.},
 address = {River Edge, NJ, USA},
}

@book{Ehrig2006,
  author = {Ehrig, H. and Ehrig, K. and Prange, U. and Taentzer, G.},
  title = {Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)},
  year = {2006},
  isbn = {3540311874},
  publisher = {Springer-Verlag New York, Inc.},
  address = {Secaucus, NJ, USA},
}

@article{Eilenberg1945,
  author = {Eilenberg, S and MacLane, S},
  doi = {10.1090/S0002-9947-1945-0013131-6},
  issn = {0002-9947},
  journal = {Transactions of the American Mathematical Society},
  pages = {231--294},
  title = {{General Theory of Natural Equivalences}},
  volume = {58},
  year = {1945}
}

@incollection{Giese2015,
  author = {Giese, Holger and Vogel, Thomas and Watzoldt, Sebastian},
  booktitle = {Fundamentals of Software Engineering},
  doi = {10.1007/978-3-319-24644-4_1},
  editor = {Sirjani, Mehdi and Marjan, Dastani},
  isbn = {0133056996},
  issn = {01382043},
  pages = {1--29},
  publisher = {Springer},
  title = {{Towards Smart Systems of Systems}},
  url = {http://link.springer.com/10.1007/978-3-319-24644-4_1},
  volume = {5961},
  year = {2015}
}


@site{Goins2007,
  author = {Chris Goins and Divya Hariharan and Shashi Manral and Lakshmi D. Ventrapragada and Michael Zima},
  title = {Marvel E-Store: CS 6361 Requirements Engineering},
  year = {2007},
  url = {http://www.utdallas.edu/~chung/RE/Presentations07S/Team_3}
}

@article{Habel1996,
  author = {Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele},
  title = {Graph Grammars with Negative Application Conditions},
  journal = {Fundam. Inf.},
  issue_date = {December 1996},
  volume = {26},
  number = {3,4},
  month = dec,
  year = {1996},
  issn = {0169-2968},
  pages = {287--313},
  numpages = {27},
  acmid = {2379542},
  publisher = {IOS Press},
  address = {Amsterdam, The Netherlands, The Netherlands},
}

@Inbook{Habel2005,
author="Habel, Annegret
and Pennemann, Karl-Heinz",
editor="Kreowski, Hans-J{\"o}rg
and Montanari, Ugo
and Orejas, Fernando
and Rozenberg, Grzegorz
and Taentzer, Gabriele",
title="Nested Constraints and Application Conditions for High-Level Structures",
bookTitle="Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday",
year="2005",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="293--308",
isbn="978-3-540-31847-7",
doi="10.1007/978-3-540-31847-7_17",
url="https://doi.org/10.1007/978-3-540-31847-7_17"
}

@inproceedings{Heckel2011,
  author = {Heckel, Reiko and Khan, Tamim Ahmed and Machado, Rodrigo},
  booktitle = {Proceedings of the Tenth InternationalWorkshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2011)},
  editor = {Gadducci, Fabio and Mariani, Leonardo},
  keywords = {graph transformation,services,visual contracts},
  mendeley-groups = {Testing},
  title = {{Towards Test Coverage Criteria for Visual Contracts}},
  volume = {41},
  year = {2011}
}

@book{Jones1990,
 author = {Jones, Cliff B.},
 title = {Systematic Software Development Using VDM (2Nd Ed.)},
 year = {1990},
 isbn = {0-13-880733-7},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
}

@book{Junior2015,
  address = {Berlin, Heidelberg},
  author = {Junior, Marcos Oliveira and Ribeiro, Leila and Cota, {\'{E}}rika and Duarte, Lucio Mauro and Nunes, Ingrid and Reis, Filipe},
  booktitle = {Recent Trends in Algebraic Development Techniques},
  doi = {10.1007/b107129},
  editor = {Fiadeiro, Jos{\'{e}} Luiz and Mosses, Peter D. and Orejas, Fernando},
  isbn = {978-3-540-25327-3},
  keywords = {empirical study,graph transformation,model,use cases},
  pages = {110--130},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{Use Case Analysis Based on Formal Methods: An Empirical Study}},
  year = {2015}
}

@inproceedings{Khan2012,
  author = {Khan, Tamim Ahmed and Runge, Olga and Heckel, Reiko},
  booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  doi = {10.1007/978-3-642-33654-6_19},
  isbn = {9783642336539},
  issn = {03029743},
  mendeley-groups = {Testing},
  pages = {279--293},
  title = {{Testing against visual contracts: Model-based coverage}},
  volume = {7562 LNCS},
  year = {2012}
}


@article{Khan2012a,
  author = {Khan, Tamim Ahmed and Runge, Olga and Heckel, Reiko},
  journal = {Electronic Communications of the EASST. Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques},
  keywords = {graph transformation,services,visual contracts},
  mendeley-groups = {Testing},
  pages = {0--13},
  title = {{Visual Contracts as Test Oracle in AGG 2 . 0}},
  volume = {47},
  year = {2012}
}

@article{Konig2008,
  title = "Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems",
  journal = "Electronic Notes in Theoretical Computer Science",
  volume = "211",
  pages = "201 - 210",
  year = "2008",
  note = "Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006)",
  issn = "1571-0661",
  doi = "https://doi.org/10.1016/j.entcs.2008.04.042",
  url = "http://www.sciencedirect.com/science/article/pii/S1571066108002570",
  author = "Barbara König and Vitali Kozioura",
}

@article{Lambers2008a,
  author = {Lambers, Leen and Ehrig, Hartmut and Taentzer, Gabi},
  journal = {Electronic Communications of the EASST},
  title = {{Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences}},
  volume = {10},
  year = {2008}
}


@phdthesis{Lambers2010,
  author = {Lambers, Leen},
  mendeley-groups = {Graph Grammars},
  pages = {258},
  school = {Elektrotechnik und Informatik der Technischen Universit{\"a} Berlin},
  title = {{Certifying Rule-Based Models using Graph Transformation}},
  year = {2010}
}

@article{Lambers2008,
author = {Lambers, Leen and Ehrig, Hartmut and Prange, Ulrike and Orejas, Fernando},
doi = {10.1016/j.entcs.2008.10.042},
issn = {15710661},
journal = {Electronic Notes in Theoretical Computer Science},
keywords = {Adhesive High-Level Replacement Categories,Concurrency,Negative Application Conditions,Parallelism},
number = {6},
pages = {43--66},
publisher = {Elsevier B.V.},
title = {{Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions}},
volume = {203},
year = {2008}
}


@inproceedings{Lambers2006,
  address = {Berlin, Heidelberg},
  author = {Lambers, Leen and Ehrig, Hartmut and Orejas, Fernando},
  booktitle = {Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings},
  doi = {10.1007/11841883{\_}6},
  editor = {Corradini, Andrea and Ehrig, Hartmut and Montanari, Ugo and Ribeiro, Leila and Rozenberg, Grzegorz},
  isbn = {978-3-540-38872-2},
  pages = {61--76},
  publisher = {Springer Berlin Heidelberg},
  title = {{Conflict Detection for Graph Transformation with Negative Application Conditions}},
  year = {2006},
  series = {Lecture Notes in Computer Science},
  volume = {4178}
}

@article{Machado2015,
  author = {Machado, Rodrigo and Ribeiro, Leila and Heckel, Reiko},
  doi = {10.1016/j.tcs.2015.01.034},
  journal = {Theoretical Computer Science},
  keywords = {Double-pushout approach,Graph transformation,Higher-order transformations},
  mendeley-groups = {Graph Grammars},
  pages = {1--23},
  title = {{Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars}},
  volume = {594},
  year = {2015}
}

@article{Meyer2008,
  author = {Meyer, Bertrand},
  doi = {10.1109/MC.2008.306},
  journal = {Software Technologies},
  number = {August},
  pages = {99--101},
  title = {{Seven Principles of Software Testing}},
  year = {2008}
}

@article{Nielsen1981,
  title = "Petri nets, event structures and domains, part I",
  journal = "Theoretical Computer Science",
  volume = "13",
  number = "1",
  pages = "85 - 108",
  year = "1981",
  note = "Special Issue Semantics of Concurrent Computation",
  issn = "0304-3975",
  doi = "https://doi.org/10.1016/0304-3975(81)90112-2",
  url = "http://www.sciencedirect.com/science/article/pii/0304397581901122",
  author = "Mogens Nielsen and Gordon Plotkin and Glynn Winskel"
}

@article{Nogueira2008,
  title={Guided test generation from CSP models},
  author={Nogueira, Sidney and Sampaio, Augusto and Mota, Alexandre},
  journal={Lecture Notes in Computer Science},
  volume={5160},
  pages={258--273},
  year={2008},
  publisher={Springer}
}

@phdthesis{Pennemann2009,
  author = {Pennemann, Karl-heinz},
  keywords = {high-level progra,nested conditions,verification},
  school = {Carl von Ossietzky Universit{\"{a}}t Oldenburg –},
  title = {{Development of Correct Graph Transformation Systems}},
  type = {PhD},
  year = {2009}
}


@book{Pierce1991,
  title={Basic Category Theory for Computer Scientists},
  author={Pierce, B.C.},
  isbn={9780262660716},
  lccn={91008489},
  series={Foundations of computing series: research reports and notes},
  year={1991},
  publisher={MIT Press}
}

@inproceedings{Rensink2004,
  address = {Berlin, Heidelberg},
  author = {Rensink, Arend},
  booktitle = {Applications of Graph Transformations with Industrial Relevance: Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers},
  doi = {10.1007/978-3-540-25959-6{\_}40},
  editor = {Pfaltz, John L and Nagl, Manfred and B{\"{o}}hlen, Boris},
  isbn = {978-3-540-25959-6},
  pages = {479--485},
  publisher = {Springer Berlin Heidelberg},
  title = {{The GROOVE Simulator: A Tool for State Space Generation}},
  year = {2004},
  series = {Lecture Notes in Computer Science},
  volume = {3062}
}

@phdthesis{Ribeiro1996,
  author = {Ribeiro, Leila},
  pages = {215},
  school = {Technischen Universit{\"{a}}t Berlin},
  title = {{Parallel composition and unfolding semantics of graph grammars}},
  type = {PhD},
  year = {1996}
}

@book{Rozenberg1997,
  author = {Rozenberg, G.},
  doi = {10.1142/9789812384720},
  isbn = {9810228848},
  title = {{Handbook of Graph Grammars aand Computing by Graph Transformation}},
  volume = {1},
  year = {1997}
}

@inproceedings{Runge2013,
  author = {Runge, Olga and Khan, Tamim Ahmed and Heckel, Reiko},
  booktitle = {Proceedings of the 12th InternationalWorkshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013)},
  editor = {Tichy, Matthias and Ribeiro, Leila},
  keywords = {graph transformation,services,visual contracts},
  pages = {1--12},
  title = {{Test Case Generation Using Visual Contracts}},
  volume = {58},
  year = {2013}
}


@book{Rydeheard1988,
  abstract = {None},
  author = {Rydeheard, D E and Burstall, R M},
  isbn = {0131627368},
  journal = {Lecture notes},
  pages = {263},
  title = {{Computational Category Theory}},
  volume = {152},
  year = {1988},
  publisher = {Prentice-Hall}
}

@inproceedings{Taentzer2000,
  author = {Taentzer, Gabriele},
  booktitle = {Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1--3, 1999 Proceedings},
  doi = {10.1007/3-540-45104-8{\_}41},
  editor = {Nagl, Manfred and Sch{\"{u}}rr, Andreas and M{\"{u}}nch, Manfred},
  isbn = {978-3-540-45104-4},
  pages = {481--488},
  publisher = {Springer Berlin Heidelberg},
  title = {{AGG: A Tool Environment for Algebraic Graph Transformation}},
  year = {2000},
  series = {Lecture Notes in Computer Science},
  volume = {1779}
}

@article{Tretmans1996,
  author = {Tretmans, Jan},
  doi = {10.1016/S0169-7552(96)00017-7},
  issn = {01697552},
  journal = {Computer Networks and ISDN Systems},
  month = {dec},
  number = {1},
  pages = {49--79},
  title = {{Conformance testing with labelled transition systems: Implementation relations and test generation}},
  volume = {29},
  year = {1996}
}


@book{Utting2006,
  author = {Utting, Mark and Legeard, Bruno},
  title = {Practical Model-Based Testing: A Tools Approach},
  year = {2007},
  isbn = {0123725011, 9780080466484},
  publisher = {Morgan Kaufmann Publishers Inc.},
  address = {San Francisco, CA, USA},
}

@misc{verigraph,
  author = {Bezerra, Jonas S. and Costa, Andrei and Azzi, Guilherme and Rodrigues, Leonardo M. and Machado, Rodrigo and Ribeiro, Leila and Herdt, Ricardo G.},
  title        = {Verigraph: Software specification and verification system based on graph rewriting},
  month        = may,
  year         = 2017,
  doi          = {10.5281/zenodo.598374},
  url          = {https://github.com/Verites/verigraph}
}

@book{Warmer2003,
 author = {Warmer, Jos and Kleppe, Anneke},
 title = {The Object Constraint Language: Getting Your Models Ready for MDA},
 year = {2003},
 isbn = {0321179366},
 edition = {2},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@article{Weyuker1982,
  author = {Weyuker, Elaine J.},
  file = {:home/jonas/Wey82.pdf:pdf},
  journal = {The computer journal},
  number = {4},
  pages = {465--470},
  title = {{On Testing Non-testable Programs}},
  volume = {25},
  year = {1982}
}