Poggenberg, Stefan (2020) Runtime Verification von Simulationen eines selbst-adaptiven Systems zur Variantenpriorisierung. Masters thesis, Institute for Visual and Analytic Computing, University of Rostock.