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