A co-design methodology based on formal specification and high-level estimation | Publicación