Madeira A, Faria JM, Martins M, Barbosa LS.? 2011.??On requirements engineering for reactive systems: A formal methodology. 1ª Conferência Brasileira de Sistemas Embarcados Críticos.