Verification of an Audio Control Protocol. - Doeko Bosscher; Indra Polak; Frits W. Vaandrager (FTRTFT, 1994)