TY  - RPRT
TI  - Formalizing Safety Requirements Using Controlling Automata
AU  - Zhe Chen
AU  - Gilles Motet
PY  - 2009
DO  - 10.1109/depend.2009.18
UR  - https://arxiv.org/abs/0905.2364
ID  - 0905.2364
ER  -