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

Design and verification of the sequential systems automata using temporal logic specifications. - Anatol Ursu; Gabriela Gruita; Sergiu Zaporojan (ED&TC, 1997)

Design of the Sequential System Automata using Temporal Equivalence Classes. - Anatol Ursu; Gabriela Gruita; Sergiu Zaporojan (Comput. Sci. J. Moldova, 1997)

Latch Inference for Equivalence Checking. - Anatol Ursu (ReCoSoC, 2007)