A. Trindade, H. Ismail, and L. Cordeiro.
" 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>, Foz do Iguaçu/PR, 2015, pp. 894-995.