@conference {1521, title = {On requirements engineering for reactive systems: A formal methodology}, booktitle = {1{\textordfeminine} Confer{\^e}ncia Brasileira de Sistemas Embarcados Cr{\'\i}ticos}, year = {2011}, month = {May}, address = {S{\~a}o Carlos, Brazil}, abstract = {
This paper introduces a rigorous methodology for requirements specication of systems that react to external stimulus and consequently evolve through different operational modes, providing, in each of them, dierent functionalities. The proposed methodology proceeds in three stages, enriching a simple state machine with local algebraic specications. It resorts to an expressive variant of hybrid logic which is latter translated into rst-order to allow for ample automatic tool support.
}, attachments = {https://haslab.uminho.pt/sites/default/files/madeira/files/refrs.pdf}, author = {Alexandre Madeira and Jos{\'e} Miguel Faria and M. Martins and Luis Soares Barbosa} }