Trindade, A., 		Ismail, H., & 		Cordeiro, L.
2015 nov  3.  Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :