Application of symbolic and bounded model checking to the verification of logic control systems. - K. Loeis; Mohammed Bani Younis; Georg Frey (ETFA, 2005)