Trindade, Alessandro, 		Ismail, Hussama, E 		Cordeiro, Lucas.
" Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2015)