Leila Jemni, Jacques Jaray, Ahmed Mahjoub. Specifying historical Consequence and Postponed Effect Properties in Real-Time Systems.
IASTED International Conference in Modelling, Identification & Control, 1999, Innsbruck, Austria, 4 p.
⟨inria-00098799⟩