Formal and executable contracts for transaction-level modeling in SystemC. - Tayeb Bouhadiba; Florence Maraninchi; Giovanni Funchal (EMSOFT, 2009)

jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip. - Giovanni Funchal; Matthieu Moy (DATE, 2011)

Modeling of time in discrete-event simulation of systems-on-chip. - Giovanni Funchal; Matthieu Moy (MEMOCODE, 2011)