Timothy J. Wheeler, Peter J. Seiler, Andrew K. Packard, Gary J. Balas: Performance analysis of fault detection systems based on analytically redundant linear time-invariant dynamics. ACC 2011: 214-219