J C M Baeten
The first book systematically dealing with the issue of timing in systems design and analysis.