Testing from a stochastic timed system with a fault model
scientific article; zbMATH DE number 5509583
scientific article