Time-awareness and proactivity in models of interactive computationMõtus, Leo; Meriste, Merik; Dosch, WalterElectronic notes in theoretical computer science2005 / p. 69-95 : ill https://www.sciencedirect.com/science/article/pii/S157106610505190X