Olivier De Smet, Olivier Rossi. Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 4147-4152, IEEE, 2002. [doi]
Abstract is missing.