Ahmet F. Ates Murat Bilgic Senro Saito Behçet Sarikaya Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. 126-137 1996 14 IEEE Journal on Selected Areas in Communications 1 db/journals/jsac/jsac14.html#AtesBSS96