Wireless protocol validation under uncertainty
scientific article; zbMATH DE number 6929613