@article(manifesto,
 author       = {Patrick Blackburn},
 year         = {2000},
 title        = {Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto},
 journal      = {Logic Journal of IGPL},
 volume       = {8},
 number       = {3},
 pages        = {339--365},
 url          = {http://dx.doi.org/10.1093/jigpal/8.3.339},
)
@book(livro_brauner,
 author       = {Torben Brauner},
 year         = {2010},
 title        = {Hybrid Logic and its Proof-Theory},
 series       = {Applied Logic Series},
 publisher    = {Springer},
)
@inproceedings(CardelliG98,
 author       = {Luca Cardelli and Andrew D. Gordon},
 year         = {1998},
 title        = {Mobile Ambients},
 editor       = {Maurice Nivat},
 booktitle    = {Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1378},
 publisher    = {Springer},
 pages        = {140--155},
 url          = {http://dx.doi.org/10.1007/BFb0053547},
)
@article(paperdiaco,
 author       = {Razvan Diaconescu and Alexandre Madeira},
 year         = {2015},
 title        = {Encoding hybridized institutions into first-order logic},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {FirstView},
 pages        = {1--44},
 doi          = {10.1017/S0960129514000383},
 url          = {http://journals.cambridge.org/article_S0960129514000383},
)
@article(DBLP:journals/acta/GlabbeekG01,
 author       = {Rob J. van Glabbeek and Ursula Goltz},
 year         = {2001},
 title        = {Refinement of actions and equivalence notions for concurrent systems},
 journal      = {Acta Inf.},
 volume       = {37},
 number       = {4/5},
 pages        = {229--327},
 url          = {http://link.springer.de/link/service/journals/00236/bibs/1037004/10370229.htm},
 url          = {http://dx.doi.org/10.1007/s002360000041},
)
@article(ins,
 author       = {Joseph A. Goguen and Rod M. Burstall},
 year         = {1992},
 title        = {Institutions: Abstract Model Theory for Specification and Programming},
 journal      = {J. ACM},
 volume       = {39},
 number       = {1},
 pages        = {95--146},
 url          = {http://doi.acm.org/10.1145/147508.147524},
)
@misc(citeulike:709834,
 author       = {O. M. G. Group},
 title        = {{UML Specification, Version 2.0}},
)
@article(DBLP:journals/scp/Harel87,
 author       = {David Harel},
 year         = {1987},
 title        = {Statecharts: A Visual Formalism for Complex Systems},
 journal      = {Sci. Comput. Program.},
 volume       = {8},
 number       = {3},
 pages        = {231--274},
 url          = {http://dx.doi.org/10.1016/0167-6423(87)90035-9},
)
@article(DBLP:journals/corr/KnappMR14,
 author       = {Alexander Knapp and Till Mossakowski and Markus Roggenbach},
 year         = {2014},
 title        = {An Institutional Framework for Heterogeneous Formal Development in {UML}},
 journal      = {CoRR},
 volume       = {abs/1403.7747},
 url          = {http://arxiv.org/abs/1403.7747},
)
@inproceedings(DBLP:conf/birthday/KnappMR15,
 author       = {Alexander Knapp and Till Mossakowski and Markus Roggenbach},
 year         = {2015},
 title        = {Towards an Institutional Framework for Heterogeneous Formal Development in {UML} - - {A} Position Paper -},
 editor       = {Rocco De Nicola and Rolf Hennicker},
 booktitle    = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
 series       = {Lecture Notes in Computer Science},
 volume       = {8950},
 publisher    = {Springer},
 pages        = {215--230},
 doi          = {10.1007/978-3-319-15545-6-15},
)
@phdthesis(madeirathesis,
 author       = {Alexandre Madeira},
 year         = {2013},
 title        = {Foundations and techniques for software reconfigurability},
 school       = {Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme)},
)
@article(DBLP:journals/fac/MadeiraMBH15,
 author       = {Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa and Rolf Hennicker},
 year         = {2015},
 title        = {Refinement in hybridised institutions},
 journal      = {Formal Asp. Comput.},
 volume       = {27},
 number       = {2},
 pages        = {375--395},
 doi          = {10.1007/s00165-014-0327-6},
)
@inproceedings(aiml14,
 author       = {Alexandre Madeira and Renato Neves and Manuel Martins and Luis Barbosa},
 year         = {2014},
 title        = {Introducing Hierarchical Hybrid Logic},
 booktitle    = {Advances in Modal Logic 2014},
 pages        = {74 -- 78},
)
@inproceedings(calco,
 author       = {Manuel A. Martins and Alexandre Madeira and R\u{a}zvan Diaconescu and Lu\'{\i}s Soares Barbosa},
 year         = {2011},
 title        = {Hybridization of Institutions},
 editor       = {A. Corradini and B. Klin and C\^{\i}rstea, C.},
 booktitle    = {Algebra and Coalgebra in Computer Science (CALCO 2011, Winchester, UK, August 30 - September 2, 2011)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6859},
 publisher    = {Springer},
 pages        = {283--297},
 url          = {http://dx.doi.org/10.1007/978-3-642-22944-2_20},
)