Luis Fernando Llana Díaz Manuel Núñez Ismael Rodríguez Customized Testing for Probabilistic Systems. 87-102 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_6 db/conf/pts/testcom2006.html#DiazNR06