Tayeb Bouhadiba Florence Maraninchi Giovanni Funchal Formal and executable contracts for transaction-level modeling in SystemC. 97-106 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629349 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#BouhadibaMF09