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