Animation in Conrad: informal analysis of timing propertiesKaldma, Tarmo; Mõtus, Leo; Paluoja, Rein; Tekko, Jaanus; Tommingas, ToomasProceedings : Sixth Euromicro Workshop on Real-Time Systems : June 15-17, 1994, Vaesteraas, Sweden1994 / p. 220-225

Hierarchical language for development of distributed algorithmsKaldma, TarmoThe 3rd Baltic Summer School on Information Technology and Systems Engineering, 1-5 August, 1995, Klaipeda : theses1995 / p. 25-28

Hierarchical language for development of distributed algorithmsKaldma, TarmoProceedings of the Fourth Symposium on Programming Languages and Software Tools, Visegrad, Hungary, June 9-10, 19951995 / p. 195-208

Specification and formal analysis of real-time software in ConradKaldma, Tarmo; Mõtus, Leo; Paluoja, Rein; Tekko, Jaanus; Tommingas, ToomasPostprints of 19th IFAC/IFIP Workshop on Real-time Programming, 22-24 June, Isle of Reichenau, Lake Constance, Germany, 19941994 / p. 67-72