@inproceedings{lime-TACAS-09,
    Address = {York, United Kingdom},
    Author = {Didier Lime and Olivier H. Roux and Charlotte Seidner and 
Louis-Marie Traonouez},
    Editor = {Stefan Kowalewski and Anna Philippou},
    Booktitle = {15th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS 2009)},
    Month = MAR,
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches},
    Year = 2009
}