Marc Herbstritt Bernd Becker Erika Ábrahám Christian Herde On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. 391-396 2007 conf/ddecs/2007 DDECS db/conf/ddecs/ddecs2007.html#HerbstrittBAH07