"On some Relations between Dynamical Systems and Transition Systems."

Eugene Asarin, Oded Maler (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics