Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract)

Robust Satisfaction

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

Compositional Reasoning Using the Assumption-Commitment Paradigm

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Deductive Verification of Modular Systems

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Modular Model Checking

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

A Methodological Approach to the Requirement Specification of Embedded Systems

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods