@inproceedings{SV03,
author =        {M.I.A. Stoelinga and F.W. Vaandrager},
booktitle =     {Proceedings of the 30th International colloquium on 
                automata, languages and programming (ICALP'03)}
title =         {A Testing Scenario for Probabilistic Automata},
year =          2003,
series =        lncs,
volume =        2719,
publisher =     Springer,
pages =         {407--418},
}