HySAT: An efficient proof engine for bounded model checking of hybrid systems
scientific article; zbMATH DE number 5159783
scientific article