E._Allen__Emerson
Automated Temporal Reasoning about Reactive Systems
Automatic Verification of Parameterized Synchronous Systems
Combining partial order and symmetry reductions
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking
Generalized quantitative temporal reasoning: An automata-theoretic approach
Model checking real-time properties of symmetric systems
Quantitative Temporal Reasoning
Reducing model checking of the many to the few
Temporal and modal logic