Tobe Toben Analysis of dynamic evolution systems by spotlight abstraction refinement. 2009 University of Oldenburg, Germany 1-214 http://oops.uni-oldenburg.de/volltexte/2009/876/ https://nbn-resolving.org/urn:nbn:de:gbv:715-oops-8760 https://d-nb.info/996733183 https://d-nb.info/99679025X