Efficient timing analysis of a synchronous systems and synchronous communication channels door E. Verlind