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 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 Task schedulingTommingas, ToomasConcise encyclopedia of software engineering1993 / p. 347-348 Task scheduling (computing)Tommingas, ToomasSystems & control encyclopedia. Supplementary volume 21992 / p. 971-973