M.D. Lemmon and P.J. Antsaklis, "Inductively Inferring Valid Logical Models of Continuous-State Dynamical Systems," Technical Report of the ISIS Group, No. ISIS-93-010, Univ. of Notre Dame, December 1993. Journal of Theoretical Computer Science, Amir Pnueli and Joseph Sifakis Eds., vol 138, Part 1, pp 201-210, February 1995