TY  - RPRT
TI  - Model-Based Security Testing
AU  - Ina Schieferdecker
AU  - Juergen Grossmann
AU  - Martin Schneider
PY  - 2012
DO  - 10.4204/eptcs.80.1
UR  - https://arxiv.org/abs/1202.6118
ID  - 1202.6118
ER  -