@INPROCEEDINGS{HMS99,
        AUTHOR       = {H. Hermanns and V. Mertsiotakis and M. Siegle},
        TITLE        = "{TIPPtool: Compositional Specification
               and Analysis of Markovian Performance Models}",
        BOOKTITLE    = {Computer Aided Verification (CAV)},
        YEAR         = {1999},
        editor       = {N. Halbwachs and D. Peled},
        pages        = {487-490},
        volume       = "1633",
        series       ="Lecture Notes in Computer Science",
        publisher    = {Springer},
        address      = {Trento},
        month        = {July}
      }