TY  - RPRT
TI  - Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
AU  - Zhe Chen
AU  - Gilles Motet
PY  - 2009
DO  - 10.1109/icons.2009.24
UR  - https://arxiv.org/abs/0905.2355
ID  - 0905.2355
ER  -