@inproceedings{BMF09a,
title = {Formal and Executable Contracts for Transaction-Level Modeling in SystemC },
author = {Bouhadiba, Tayeb and Maraninchi, Florence and Funchal, Giovanni},
month = {oct},
year = {2009},
booktitle = {ACM International Conference on Embedded Sofware (EMSOFT~09)},
address = {Grenoble, France},
team = {SYNC},
}