Attributed automata model of computingPenjam, Jaan; Meriste, MerikAbstracts of NWPT'96, Oslo 19961996 / p. 21

Implementing duration calculus specifications by timed automataKääramees, MarkoAbstracts of NWPT'96, Oslo 19961996 / p. 10

Integrating methods for the design of real-time systemsVain, JüriAbstracts of NWPT'96, Oslo 19961996 / p. 32