Analysis of a biphase mark protocol with Uppaal and PVS
scientific article; zbMATH DE number 5080867