DOI,IST REx ID,Title of publication
null,4419,The Theory of Rectangular Hybrid Automata