Using discrete invariants for fault detection of hybrid systems Lichtenberg, Gerwald Lützenberg, J. 2004 - ReposIt