Improving the Timing of Extended Finite State Machines Via Catalyst. Issue 3 (2002)