Probabilistic may/must testing: retaining probabilities by restricted schedulers
scientific article; zbMATH DE number 6148348
scientific article