Reference:

Andreas Holzer, Visar Januzaj, Stefan Kugele, and Michael Tautschnig. Timely time estimates. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 33–46. Springer, October 2010.

Suggested BibTeX entry:

@inproceedings{holzer:etal:isola10,
    author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig},
    booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
    editor = {Tiziana Margaria and Bernhard Steffen},
    month = {October},
    pages = {33--46},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Timely Time Estimates},
    volume = {6415},
    year = {2010}
}