H. Günther

A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS)

Michael Beigl, Martin Berchtold, Henning Günther, 2011, ARCS Workshops.

On the Formal Verification of Systems of Synchronous Software Components

Stefan Milius, Henning Günther, Oliver Möller, 2012, SAFECOMP.

A framework for formal verification of systems of synchronous components

Stefan Milius, Jan Peleska, Martin Sulzmann, 2012, MBEES.