Dominique L Her, Philippe Le Parc, Lionel Marcé. Proving Sequential Function Chart Programs Using Automata. In Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi, editors, Automata Implementation, Third International Workshop on Implementing Automata, WIA 98, Rouen, France, September 17-19, 1998, Revised Papers. Volume 1660 of Lecture Notes in Computer Science, pages 149-163, Springer, 1998. [doi]
Abstract is missing.