Attack-test and verification systems, steps towards verifiable anomaly detection
M. Fourné, D. Petersen, N. Pohlmann, in: INFORMATIK 2013 – Informatik Angepasst an Mensch, Organisation Und Umwelt, Gesellschaft für Informatik e.V., Bonn, 2013, pp. 2213–2224.