Including Hardware/Software co-design in the ASSERT model driven engineering process - Ferrero F; Alaña E; Rodríguez A; Zamorano J; De La Puente J (Ada User Journal, 2012)