Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. - Christoph Andriessens; Thomas Lindner (Formal Methods for Industrial Applications, 1995)

Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung. - Christoph Andriessens (2007)

Supporting the digital transformation of small enterprises through cloud computing. - Christoph Andriessens (DEC, 2016)