@incollection(bacci2009dbtk,
 author       = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
 year         = {2009},
 title        = {{DBtk: A Toolkit for Directed Bigraphs}},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Algebra and Coalgebra in Computer Science},
 publisher    = {Springer},
 pages        = {413--422},
 doi          = {10.1007/978-3-642-03741-2\_28},
)
@inproceedings(BatorySPLC2005,
 author       = {Don Batory},
 year         = {2005},
 title        = {Feature Models, Grammars, and Propositional Formulas},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Software Product Lines},
 publisher    = {Springer},
 pages        = {7--20},
 doi          = {10.1007/11554844\_3},
)
@article(biermann2012formal,
 author       = {Enrico Biermann and Claudia Ermel and Gabriele Taentzer},
 year         = {2012},
 title        = {Formal foundation of consistent EMF model transformations by algebraic graph transformation},
 journal      = {Software \& Systems Modeling},
 volume       = {11},
 number       = {2},
 pages        = {227--250},
 doi          = {10.1007/s10270-011-0199-7},
)
@inproceedings(bundgaard2006typed,
 author       = {Mikkel Bundgaard and Vladimiro Sassone},
 year         = {2006},
 title        = {Typed polyadic pi-calculus in bigraphs},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Principles and Practice of Declarative Programming},
 organization = {ACM},
 pages        = {1--12},
 doi          = {10.1145/1140335.1140336},
)
@inproceedings(Cardelli98mobileambients,
 author       = {Luca Cardelli and Andrew D.\ Gordon},
 year         = {1998},
 title        = {{Mobile Ambients}},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Foundations of Software Science and Computation Structure},
 pages        = {140--155},
 doi          = {10.1007/BFb0053547},
)
@article(delta1,
 author       = {Dave Clarke and Michiel Helvensteijn and Ina Schaefer},
 year         = {2015},
 title        = {Abstract delta modelling},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {25},
 number       = {3},
 pages        = {482--527},
 doi          = {10.1017/S0960129512000941},
)
@inproceedings(czarnecki2005mapping,
 author       = {Krzysztof Czarnecki and Micha{\l} Antkiewicz},
 year         = {2005},
 title        = {Mapping features to models: A template approach based on superimposed variants},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Generative Programming and Component Engineering},
 organization = {Springer},
 pages        = {422--437},
 doi          = {10.1007/11561347\_28},
)
@book(Ehrig2006,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@article(ehrig2009generating,
 author       = {Karsten Ehrig and Jochen Malte K{\"u}ster and Gabriele Taentzer},
 year         = {2009},
 title        = {Generating instance models from meta models},
 journal      = {Software \& Systems Modeling},
 volume       = {8},
 number       = {4},
 pages        = {479--500},
 doi          = {10.1007/s10270-008-0095-y},
)
@article(faithfull2013big,
 author       = {Alexander John Faithfull and Gian Perrone and Thomas T. Hildebrandt},
 year         = {2013},
 title        = {Big Red: {A} Development Environment for Bigraphs},
 journal      = {{ECEASST}},
 volume       = {61},
 doi          = {10.14279/tuj.eceasst.61.835},
)
@misc(MOF,
 author       = {Object Management Group},
 year         = {2013},
 title        = {Meta Object Facility (MOF) Core Specification, version 2.4.1},
 howpublished = {OMG document number: formal/2013-06-01},
)
@misc(OCL,
 author       = {Object Management Group},
 year         = {2014},
 title        = {Object Constraint Language (OCL), version 2.4},
 howpublished = {OMG document number: formal/2014-02-03},
)
@inproceedings(Heckel2002Attributed,
 author       = {Reiko Heckel and Jochen Malte K{\"{u}}ster and Gabriele Taentzer},
 year         = {2002},
 title        = {Confluence of Typed Attributed Graph Transformation Systems},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Graph Transformation},
 series       = {Lecture Notes in Computer Science},
 volume       = {2505},
 publisher    = {Springer},
 pages        = {161--176},
 doi          = {10.1007/3-540-45832-8\_14},
)
@phdthesis(hojsgaard2012bigraphical,
 author       = {H{\o}jsgaard, Espen},
 year         = {2012},
 title        = {Bigraphical languages and their simulation},
 school       = {IT University of Copenhagen},
)
@techreport(FODA,
 author       = {Kyo Kang and Sholom Cohen and James Hess and William Novak and A. Peterson},
 year         = {1990},
 title        = {Feature-Oriented Domain Analysis (FODA) Feasibility Study},
 type         = {Technical Report},
 number       = {CMU/SEI-90-TR-021},
 institution  = {Software Engineering Institute, Carnegie Mellon University},
 address      = {Pittsburgh, PA},
)
@inproceedings(kehrer2011lifting,
 author       = {Timo Kehrer and Udo Kelter and Gabriele Taentzer},
 year         = {2011},
 title        = {A rule-based approach to the semantic lifting of model differences in the context of model versioning},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Automated Software Engineering},
 pages        = {163--172},
 doi          = {10.1109/ASE.2011.6100050},
)
@article(krivine2008stochastic,
 author       = {Jean Krivine and Robin Milner and Angelo Troina},
 year         = {2008},
 title        = {Stochastic bigraphs},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {218},
 pages        = {73--96},
 doi          = {10.1016/j.entcs.2008.10.006},
)
@article(leifer2006transition,
 author       = {James Leifer and Robin Milner},
 year         = {2006},
 title        = {Transition systems, link graphs and Petri nets},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {16},
 number       = {06},
 pages        = {989--1047},
 doi          = {10.1017/S0960129506005664},
)
@article(milner2006pure,
 author       = {Robin Milner},
 year         = {2006},
 title        = {Pure bigraphs: Structure and dynamics},
 journal      = {Information and computation},
 volume       = {204},
 number       = {1},
 pages        = {60--122},
 doi          = {10.1016/j.ic.2005.07.003},
)
@book(Milner.Bigraphs.2009,
 author       = {Robin Milner},
 year         = {2009},
 title        = {{The Space and Motion of Communicating Agents}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511626661},
)
@inproceedings(perrone2012model,
 author       = {Gian Perrone and S{\o}ren Debois and Thomas Hildebrandt},
 year         = {2012},
 title        = {A model checker for bigraphs},
 booktitle    = {Proc.\ Annual ACM Symposium on Applied Computing},
 organization = {ACM},
 pages        = {1320--1325},
 doi          = {10.1145/2245276.2231985},
)
@inproceedings(delta2,
 author       = {Christopher Pietsch and Timo Kehrer and Udo Kelter and Dennis Reuling and Manuel Ohrndorf},
 year         = {2015},
 title        = {SiPL - {A} Delta-Based Modeling Framework for Software Product Line Engineering},
 booktitle    = {Proc.\ Intl.\ Conf.\ on Automated Software Engineering},
 publisher    = {{IEEE} Computer Society},
 pages        = {852--857},
 doi          = {10.1109/ASE.2015.106},
)
@article(sevegnani2015bigraphs,
 author       = {Michele Sevegnani and Muffy Calder},
 year         = {2015},
 title        = {{Bigraphs with Sharing}},
 journal      = {Theor. Comput. Sci.},
 volume       = {577},
 pages        = {43--73},
 doi          = {10.1016/j.tcs.2015.02.011},
)
@book(EMFBook,
 author       = {Dave Steinberg and Frank Budinsky and Ed Merks and Marcelo Paternostro},
 year         = {2008},
 title        = {EMF: Eclipse Modeling Framework},
 publisher    = {Pearson Education},
)
@inproceedings(sescps,
 author       = {Christos Tsigkanos and Timo Kehrer and Carlo Ghezzi and Liliana Pasquale and Bashar Nuseibeh},
 year         = {2016},
 title        = {Adding Static and Dynamic Semantics to Building Information Models},
 booktitle    = {Proc.\ Intl.\ Workshop on Software Engineering for Smart Cyber-Physical Systems},
 publisher    = {ACM},
 pages        = {1--7},
 doi          = {10.1145/2897035.2897042},
)
@inproceedings(tsigkanos2015ariadne,
 author       = {Christos Tsigkanos and Liliana Pasquale and Carlo Ghezzi and Bashar Nuseibeh},
 year         = {2015},
 title        = {Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems},
 booktitle    = {Intl.\ Conf.\ on Software Engineering},
 publisher    = {{IEEE} Computer Society},
 pages        = {729--732},
 doi          = {10.1109/ICSE.2015.234},
)
@article(weiser1991computer,
 author       = {Mark Weiser},
 year         = {1991},
 title        = {The computer for the 21st century},
 journal      = {Scientific american},
 volume       = {265},
 number       = {3},
 pages        = {94--104},
 doi          = {10.1145/329124.329126},
)