Verifying a class of nondeterministic discrete event systems in a generalized temporal logic. - Jing-Yue Lin; Dan Ionescu (IEEE Trans. Syst. Man Cybern., 1992)

A Reachability Synthesis Procedure for Discrete Event Systems in a Temporal Logic Framework. - Jing-Yue Lin; Dan Ionescu (IEEE Trans. Syst. Man Cybern. Syst., 1994)

Optimal supervision of discrete event systems in a temporal logic framework. - Dan Ionescu; Jing-Yue Lin (IEEE Trans. Syst. Man Cybern., 1995)