_id,doi,title 4493,10.1007/s100090050008,HyTech: A model checker for hybrid systems