HYCOMP - an SMT-based model checker for hybrid systems