Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller

Synthesis of Discrete-Event Controllers Based on the SignalEnvironment

Discrete Event Dynamic Systems

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology

IEEE Transactions on Software Engineering

Co-simulation of Hybrid Systems: Signal-Simulink

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Polyhedral Analysis for Synchronous Languages

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

EPspectra: a formal toolkit for developing DSP software applications

Theory and Practice of Logic Programming

A polynomial dynamic system approach to software design for attractivity requirement

Information Sciences: an International Journal

An Overview of the Signal Clock Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)