Amr F. Fahmy Robert S. Roos Efficient Learning of Real Time One-Counter Automata. 25-40 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#FahmyR95