Duration Calculi: An Overview (Invited Paper).

Published in: Formal Methods in Programming and Their Applications (1993)