@inproceedings{BLPR-icfem09,
        address = {Rio de Janeiro, Brazil},
        author = {Bertrand, N. and Legay, A. and Pinchinat, S. and Raclet,
                  J.-B.},
        booktitle = {{P}roc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09)},
        month = dec,
        note = {To appear},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        title = {A Compositional Approach on Modal Specifications for Timed Systems},
        year = {2009},
}