TY  - RPRT
TI  - Verified System Development with the AutoFocus Tool Chain
AU  - Maria Spichkova
AU  - Florian Hölzl
AU  - David Trachtenherz
PY  - 2012
DO  - 10.4204/eptcs.86.3
UR  - https://arxiv.org/abs/1207.2236
ID  - 1207.2236
ER  -