@inproceedings{RB-emsoft09,
        address = {Grenoble, France},
        author = {Raclet, J.-B. and Badouel, E. and Benveniste, A. and Caillaud, B. and Legay, A. and Passerone, R.},
        booktitle = {{P}roc. of the 9th International Conference on Embedded Software (EMSOFT'09)},
        month = oct,
        note = {To appear},
        publisher = {ACM},
        title = {Modal Interfaces: Unifying Interface Automata and Modal Specifications},
        year = {2009},
}