Timing analysis of synchronous data flow graphs by