_id,doi,title
4410,10.1007/BFb0055350,An algorithm for the approximative analysis of rectangular automata