"Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device."

Chris Mills, Colin J. Fidge, Diane Corney (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics