Compilation of the ELECTRE reactive language into finite transition systems

BDL: A Specialized Language for Per-Object Reactive Control

IEEE Transactions on Software Engineering

Application of Partial-Order Methods to Reactive Programswith Event Memorization

Real-Time Systems

Extending the Translation from SDL to Promela

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Effective Recognizability and Model Checking of Reactive Fiffo Automata

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Verification of Embedded Reactive Fiffo Systems

LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics

A Timed Extension for ALTARICA

Fundamenta Informaticae

BDL: a language to control the behavior of concurrent objects

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

A Timed Extension for ALTARICA

Fundamenta Informaticae