Enhancing object modelling technique with timing analysis capabilities. - Leo Motus; R. Kinksaar; Tonu Naks; M. Pall (ICECCS, 1995)

Formal timing analysis of OMT designs using LIMITS. - Leo Motus; Tonu Naks (WORDS, 1997)

Timing Analysis in OO System Life-Cycles. - Tonu Naks; Leo Motus; Jon Holt (ISORC, 1998)

Handling timing in a time-critical reasoning system - a case study. - Tonu Naks; Leo Motus (Annu. Rev. Control., 2001)