Formale Verifikation von MOS-Transistorschaltungen - Jürgen Froessl (1996)