@techreport{SV03rap,
author =        {M.I.A. Stoelinga and F.W. Vaandrager},
title =         {A Testing Scenario for Probabilistic Automata},
year =          2003,
number =        {NIII-R0703},
type =          {report},
institution =   {Nijmegen Institute of Computing and 
                Information Sciences, University of Nijmegen}.
}