@INPROCEEDINGS{stark-concur03,
        AUTHOR = "E. W. Stark and R. Cleaveland and S. A. Smolka",
        TITLE = "A Process-Algebraic Language for
                   Probabilistic {I/O} Automata",
        BOOKTITLE = {CONCUR 2003 - Concurrency Theory,
                     14th International Conference,
                     Marseille, France, September 3-5, 2003, Proceedings},
        PUBLISHER = "Springer-Verlag",
        SERIES = "Lecture Notes in Computer Science",
        EDITOR = {Roberto M. Amadio and Denis Lugiez},
        VOLUME = {2761},
        YEAR = {2003},
        ISBN = {3-540-40753-7},
        PAGES = "189--203"
}