Timing analysis of synchronous data flow graphs door