Design of the real time systems using temporal logic specifications: a case study. - Anatol Ursu; V. Dubenetsky; Gabriela Gruita (Comput. Sci. J. Moldova, 1996)