Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuComputer systems science and engineering1998 / 3, p. 161-170 : ill