Arturo Sanchez, Javier Molina. On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems. In 9th IEEE International Conference on Control and Automation, ICCA 2011, Santiago, Chile, December 19-21, 2011. pages 1207-1212, IEEE, 2011. [doi]
Abstract is missing.