Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system

Robust Satisfaction

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Open Systems in Reactive Environments: Control and Synthesis

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Synthesis of Open Reactive Systems from Scenario-Based Specifications

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)

A Model Checking Approach to Protocol Conversion

Electronic Notes in Theoretical Computer Science (ENTCS)

SoC design approach using convertibility verification

EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08

Synthesis of Open Reactive Systems from Scenario-Based Specifications

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)

Behavioural description based web service composition using abstraction and refinement

International Journal of Web and Grid Services