Toben, Tobe (2009) Analysis of dynamic evolution systems by spotlight abstraction refinement. PhD, Universität Oldenburg.