B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. - Marcel Vinícius Medeiros Oliveira; David Déharbe; Luís C. D. S. Cruz (SBMF, 2011)