DOI,IST REx ID,Title of publication
10.1007/BFb0055350,4410,An algorithm for the approximative analysis of rectangular automata