timed-finite-state-machines