Modelling Elapsed Time in Protocol Specification.

Published in: Protocol Specification, Testing, and Verification (1983)