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

Comparing the modelling power of Petri nets and Q-modelsTekko, JaanusArtificial Intelligence in Real-Time Control 1995 : [proceedings]1996 / 5 p

Petri võrkude ja Q-mudeli võrdlus : magistritööTekko, Jaanus1994 https://www.ester.ee/record=b4610164*est

Some graph problems in timing analysis of the specificationTekko, JaanusProceedings of the 5th Nordic Workshop on Program Correctness, 19941994 / p. 184-193

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