Automated verification of an audio-control protocol using UPPAAL
scientific article; zbMATH DE number 1868276