MCTL - An Extension of CTL for Modular Verification of Concurrent Systems

An automata-theoretic approach to modular model checking

ACM Transactions on Programming Languages and Systems (TOPLAS)

Temporal logics for real-time system specification

ACM Computing Surveys (CSUR)

Modular Model Checking

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

The open family of temporal logics: Annotating temporal operators with input constraints

ACM Transactions on Design Automation of Electronic Systems (TODAES)