@inproceedings{RG-sefm09,
        address = {Hanoi, Vietnam},
        author = {Goessler, G. and Raclet,
                  J.-B.},
        booktitle = {{P}roc. of the 7th IEEE International Conference on Softwar
e Engineering and Formal Methods (SEFM'09)},
        month = nov,
        note = {To appear},
        publisher = {IEEE Computer Society Press},
        title = {Modal Contracts for Component-based Design},
        year = {2009},
}