Attacking state space explosion problem in model checking embedded TV software. - Furkan Comert; Tolga Ovatman (IEEE Trans. Consumer Electron., 2015)