Probabilistic and prioritized models of timed CSP
scientific article; zbMATH DE number 985985