@inproceedings{BPR-lata09,
        author = {Bertrand, N. and Pinchinat, S. and Raclet,
                  J.-B.},
        booktitle = {{P}roc. of the 3rd {I}nternational
                  {C}onference on {L}anguage and {A}utomata {T}heory
                  and {A}pplications ({LATA}'09)},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = {5457},
        pages = {152--163},
        title = {Refinement and Consistency of Timed Modal Specifications},
        year = {2009},
} 
Ã