@conference {MFMB11,
	title = {Hybrid Specification of Reactive Systems: An Institutional Approach},
	booktitle = {Proceedings of 9th International Conference on Software Engineering and Formal Methods - SEFM},
	series = {Lecture Notes in Computer Science},
	volume = {7041},
	year = {2011},
	month = {November },
	pages = {269-285},
	publisher = {Springer},
	organization = {Springer},
	address = {Montevideo, Uruguay},
	abstract = {<p>This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different functionalities are provided. Starting from a classical state-machine specification, the envisaged methodology interprets each state as a different mode of operation endowed with an algebraic specification of the corresponding functionality. Specifications are given in an expressive variant of hybrid logic which is, at a later stage, translated into first-order logic to bring into scene suitable tool support. The paper{\textquoteright}s main contribution is to provide rigorous foundations for the method, framing specification logics as institutions and the translation process as a comorphism between them.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/originalsefm2011.pdf},
	author = {Alexandre Madeira and Jos{\'e} Miguel Faria and M. Martins and Luis Soares Barbosa},
	editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider}
}