On the (non-)resetability of synchronous sequential circuits. - Martin Keim; Bernd Becker 001; Birgitta Stenner (VTS, 1996)