Algorithmic problems in analysis of real time system specifications - Čerāns, Kārlis (My University, 1992)