Trindade, A., 		Ismail, H., & 		Cordeiro, L.
(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>, (pp. 894-995). Porto Alegre: SBC.