An algebraic temporal logic approach to the forbidden state problem in discrete event control

Seow, K., & Devanathan, R. (2005). An algebraic temporal logic approach to the forbidden state problem in discrete event control. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (pp. 107–114). Springer-Verlag. https://doi.org/10.1007/bfb0033539