Analysis of Reactive Systems with n Timers. - Anne Bergeron; Riccardo Catalano (WIA, 1999)