Probabilistic verification of communication protocols
scientific article; zbMATH DE number 4153866