José Porfírio, E., 		Junio Cunha e Sousa, F., 		Crisostomo Velasco, G., & 		Teixeira de Carvalho, S.
2019 set 13.  Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado. Anais do Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS). [Online] :