没有找到引用Discrete abstractions of hybrid systems的文章。