The Fail-Stop Controller AE11. - Eberhard Böhl; Thomas Lindenkreuz; R. Stephan (ITC, 1997)

Path Verification Using Boolean Satisfiability. - Matthias Ringe; Thomas Lindenkreuz; Erich Barke (DATE, 1998)

On-Chip IDDQ Testing in the AE11 Fail-Stop Controller. - Eberhard Böhl; Thomas Lindenkreuz; Matthias Meerwein (IEEE Des. Test Comput., 1998)

Static Timing Analysis Taking Crosstalk into Account. - Matthias Ringe; Thomas Lindenkreuz; Erich Barke (DATE, 2000)