@article{article, title = {{Testing from a stochastic timed system with a fault model}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2009}}, month = {{1}}, author = {{Hierons RM and Merayo MG and Núñez M}}, doi = {{10.1016/j.jlap.2008.06.001}}, volume = {{78}}, journal = {{The Journal of Logic and Algebraic Programming}}, issue = {{2}}, pages = {{98-115}}, note = {{Accessed on 2024/12/21}}}