Towards Automatic Verification of Embedded Control Software. - Nanette Bauer; Ralf Huuck (APAQS, 2001)

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. - Stefan Kowalewski; Olaf Stursberg; Nanette Bauer (Eur. J. Control, 2001)

Design of a PLC Control Program for a Batch Plant VHS Case Study. - Angelika Mader; Ed Brinksma; Hanno Wupper; Nanette Bauer (Eur. J. Control, 2001)

Verification of PLC Programs Given as Sequential Function Charts. - Nanette Bauer; Sebastian Engell; Ralf Huuck; Sven Lohmann; Ben Lukoschus; Manuel Remelhe; Olaf Stursberg (SoftSpez Final Report, 2004)

A Unifying Semantics for Sequential Function Charts. - Nanette Bauer; Ralf Huuck; Ben Lukoschus; Sebastian Engell (SoftSpez Final Report, 2004)

Formale Analyse von sequential function Charts. - Nanette Bauer (2004)