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