Discrete event control of a pinball machine Lichtenberg, Gerwald Neidig, Jörg 2004 - TUHH Open Research