Madeira A, Faria JM, Martins M, Barbosa LS.? 2011.??Hybrid Specification of Reactive Systems: An Institutional Approach. Proceedings of 9th International Conference on Software Engineering and Formal Methods - SEFM. 7041:269-285.