Alessandro Trindade, Hussama Ismail, and Lucas Cordeiro. 2015.
 Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. In <em>Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 03, 2015, Foz do Iguaçu/PR, Brasil. SBC, Porto Alegre, Brasil, 894-995.