TY  - RPRT
TI  - What Causes a System to Satisfy a Specification?
AU  - Hana Chockler
AU  - Joseph Y. Halpern
AU  - Orna Kupferman
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312036
ID  - cs/0312036
ER  -