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