Timed Analysis, functional