@book{GG13,
title = {Formal Methods for Safe and Secure Computers Systems - BSI Study 875 },
author = {Garavel, Hubert and Graf, Susanne},
year = {2013},
publisher = {BSI German Federal Office for Information Security},
team = {DCS},
}