Formal support for untimed SystemC specifications. Application to high-level synthesis | Publicación