@inproceedings{RB-acsd09,
        address = {Augsburg, Germany},
        author = {Raclet, J.-B. and Badouel, E. and Benveniste, A. and Caillaud, B. and Passerone, R.},
        booktitle = {{P}roc. of the 9th International Conference on
Application of Concurrency to System Design ({ACSD}'09)},
        pages = {199--127},
        publisher = {IEEE Computer Society Press},
        title = {Why are modalities good for Interface Theories?},
        year = {2009},
}