Safety property comparison between Gröbner bases and BDD-based model checking method. - Saifulza Alwi; Yasutaka Fujimoto (ICARCV, 2014)