Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 271-285, Springer, 1996.
Abstract is missing.