Automated Logic SER Analysis and On-Line SER reduction. - André K. Nieuwland; Patrick Gindner (IOLTS, 2004)