Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic. - Danièle Beauquier; Tristan Crolard; Evguenia Prokofieva (TACAS, 2004)