F. Koob

The VSE Development Method - A Way to Engineer High-Assurance Software Systems

Dieter Hutter, Wolfgang Reif, Bruno Langenstein, 1995 .

A Formal Definition and a New Security Mechanism of Physical Unclonable Functions

Rainer Plaga, Frank Koob, R. Plaga, 2012, MMB/DFT.

Formal Methods Diffusion: Past Lessons and Future Prospects

Stefan Wittmann, Robin E. Bloomfield, Markus Ullmann, 2000, SAFECOMP.